//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;
   };
}