let
	type a = int
	var b:a := 4
in
	0
end