18     System.out.println("Create Main instance");  in main()
20     System.out.println("Calling functions on concrete Main");  in main()
22     System.out.println("Calling functions on interface Iface");  in main()
27     System.out.println("Calling verifiable function on Main");  in callMain()
28     System.out.println(m.sayHi());  in callMain()
29     System.out.println("Calling unverifiable function on Main");  in callMain()
32       System.out.println("Unexpected no error Thrown on Main");  in callMain()
34       System.out.println("Expected NSME Thrown on Main");  in callMain()
36       System.out.println("Unexpected Error Thrown on Main");  in callMain()
37       e.printStackTrace(System.out);  in callMain()
39     System.out.println("Calling verifiable function on Main");  in callMain()
40     System.out.println(m.sayHi());  in callMain()
45     System.out.println("Calling verifiable function on Iface");  in callIface()
46     System.out.println(m.sayHi());  in callIface()
47     System.out.println("Calling unverifiable function on Iface");  in callIface()
50       System.out.println("Unexpected no error Thrown on Iface");  in callIface()
52       System.out.println("Expected NSME Thrown on Iface");  in callIface()
54       System.out.println("Unexpected Error Thrown on Iface");  in callIface()
55       e.printStackTrace(System.out);  in callIface()
57     System.out.println("Calling verifiable function on Iface");  in callIface()
58     System.out.println(m.sayHi());  in callIface()