main module TESTHEAPQ
%set debug_print_ccode = true
%set debug_tree = true
declare
	A 	is array [1..?N] of integer
	P	is pointer A
	Q	: static P
	I	: static cardinal
enddeclare

	I := sizeof (Q@)
endmodule