(* TEST: [-asc -tc] *)
type main: string -> integer
function entry: main
type t: 3 -> integer


entry (arg) := {
 	[ t:a]
        a := reserve a(1, 3, 4);
	return 0;
}