//renaming to b, no ref update
package p;
class A{
   A A;
   A m(A A){
     A:
        for (;;){
          if (A.m(A)==A)
             break A;
        }
      return A;
   };
}