///%set debug_tree = true
///%set debug_print_ccode = true
main module TESTHEAPd
// test allocation of an array with an initial condition
	declare
	    X_type 	is packed array [1..4] of char
	    X_pointer 	is pointer X_Type
	    P		: static X_Pointer
	enddeclare

	P := allocate X_pointer ("ZZZZ" )
endmodule