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