interface I {} interface J extends I { default void $init$() { }; } class C extends J {}