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