type main: integer -> integer
function test: main

test (a) := {
        [Boolean:b; Boolean: c; Boolean: d]
        c := true;
        d := false;
        d := c & d;
        return 1;
}