public abstract class A { abstract int f (); }