(* TEST: [-asc -tc -cg -ir] *)
#include "alpha.h"
#include "alpha.h2"
#include "alpha.h3"
type main: integer -> integer
function test: main
	
test (a) := {
	[integer:x; integer:y]
	y := 1;
	x := 3;
	y := x + y;
	return y;
}