compiler-the-translators/tests/sprint2/test/test_valid_assignable_and_mem.alpha

type rec: [integer: x; integer: y]
type T2: rec -> integer

entry(arg) := {
        [rec: w]
	w := reserve w;
	w.x := 1;
	w.y := 2;
	w := release w;
	return 0;
        
}