public f throws a, b, c : x ;