public class B { static void m() { //@ assert true; } }