type main: integer -> integer
function test: main

test (a) := {
        [integer:x; integer:y]
        y := 1;
        x := 3;
        y := x * x;
        return y;
}