001: type main: integer -> integer
002: function test: main
003: 
004: test (a) := {
005:         [Boolean: c; Boolean: d]
006:         c := true;
007:         d := !c;
008:         return 1;
009: }