//%set debug_tree = true
//%set debug_print_ccode = true
main module HEAP5
// Test allocation of a array

	import HEAPINIT from HEAPINIT
	use TEXTIO
	declare
	    X_type 	is packed array [1..?N] of char
	    X_pointer 	is pointer X_Type
	    P		: static X_pointer
	    i		: static integer
	enddeclare

	i := integer(sizeof(P@))

endmodule