(* TEST: [-asc -tc -cg -ir] *)
type main: integer -> integer
function test: main

test (a) := {
        [Boolean: b; integer: x; integer: y]
        x := 1;
	y := 2;
	b := x < y;
        return 1;
}