1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
Int noReturnFromNonVoid() { Int a; a := 5; } Void returnFromVoid() { return 5; } Void duplicateFunction() { } Void duplicateFunction() { } Void duplicateLocals(Int a) { Int a; } Void localVoid(Void x) { Void y; y := duplicateLocals(True); }