interface Counter {
    int count = 0;              // implicitly public static final
    default void inc() { count++; }
}
public class BrokenInterfaceState { public static void main(String[] a) { } }