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