//renaming to b package p; class A{ A A; A m(A y){ A /*[*/b/*]*/= new A(); A: for (;;){ if (b.m(b)==b) break A; } return b; }; }