public class A { static void m() { //@ assert false; } }