main module TESTHEAPz
// Test allocation of a flexible array specifing the size initially
	use TEXTIO
	declare
	    X_type 	is packed array [1..?N] of char
	    X_pointer 	is pointer X_Type
	    P		: static X_Pointer
	    I_count	: static integer initially 13
	enddeclare

	P := allocate X_pointer (I_count)
	out_integer (TTY, high(P@))
	out_record (TTY)
	P@ := "1234567890123"
	out_line (TTY, P@)
endmodule