001: type main: integer -> integer
002: function test: main
003: 
004: test (a) := {
005:         [Boolean: b; integer: x; integer: y]
006:         x := 1;
007: 	y := 2;
008: 	b := x = y;
009:         return 1;
010: }