(* TEST: [-asc -tc -cg -ir] *)
type main: integer -> integer
function test: main
	
test (a) := {
	[integer:x; integer:y]
	y := 1;
	x := 3;
	y := x + y;
	return y;
}