(* TEST: [-asc -tc -cg -ir] *)

type main: string -> integer
function entry: main
	
entry (arg) := {
	[integer:x; integer:y]
	y := 1;
	x := 3;
	y := x + y;
	return y;
}