%set debug_print_ccode = true
%set debug_tree = true
main module TESTHEAPe
// Test allocation of a flexible array specifing the size initially
	declare
	    X_type 	is packed array [1..?N] of 32 bit integer
	    X_pointer 	is pointer X_Type
	    P		: static X_Pointer
	enddeclare

	P := allocate X_pointer (N:13)
endmodule