1 Create Main instance 2 Calling functions on concrete Main 3 Calling verifiable function on Main 4 Hello 5 Calling unverifiable function on Main 6 Expected NSME Thrown on Main 7 Calling verifiable function on Main 8 Hello 9 Calling functions on interface Iface 10 Calling verifiable function on Iface 11 Hello 12 Calling unverifiable function on Iface 13 Expected NSME Thrown on Iface 14 Calling verifiable function on Iface 15 Hello 16
