%set debug_print_ccode = true
%set debug_tree = true
main module TESTHEAPz
// 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
	    I_count	: static integer initially 13
	enddeclare

	P := allocate X_pointer (N:I_count)
endmodule