///%set debug_tree = true
///%set debug_print_ccode = true
main module TESTHEAPp
// Test procedure call with allocation of a flexible array with an initial condition

	declare
	    X_type 	is packed array [1..?N] of char
	    X_pointer 	is pointer X_Type
	    P		: X_Pointer
	enddeclare


	procedure TEST (New_P : in ref packed array [1..?M] of char)
	endprocedure

	P := allocate X_pointer ("ZZZZzzzzz" )
	TEST (P@)

endmodule