1 public class PR20056 {
2   int x;
PR20056(int x)3   PR20056(int x) {}
PR20056(PR20056 f)4   PR20056(PR20056 f) {
5     // The verifier rejected the generated code in this case.
6     this(f.x = 0);
7   }
8 
main(String[] args)9   public static void main(String[] args)
10   {
11     System.out.println("maude");
12   }
13 }
14