///%set debug_tree = true
///%set debug_print_ccode = true
main module TESTHEAPS
// Test size of 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		: static X_Pointer
	    I		: static 16 bit cardinal
	enddeclare

	P := allocate X_pointer ("ZZZZzzzzz" )
	I := sizeof (P@)
endmodule