@c+
module test_10 -- test of typedef
private
	typedef integer int;
	int x;
	integer xx;
	typedef [integer, Boolean] pair;
	typedef Boolean bool;
	typedef [int, bool ] newpair;
	pair y;
	bool z;
	newpair yy;
begin
	x := 1;
	xx := +x;
	z := true;
	y := [x, z];
	yy := y;
	write xx, ' ', x; -- output 1 1
end.

