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

	import HEAPINIT from HEAPINIT
//	use TEXTIO
	declare
	    X_type 	is packed array [1..?N] of char
	    X_pointer 	is pointer X_Type
	    P		: static X_Pointer
	    A_String	: static packed array [1..10] of char
	enddeclare

	HEAPINIT ()
	P := allocate X_pointer ("ABCDEFGHIJ")
///	for I := 1 to 10 do
///	    A_STring [I] := P@[I]
//	endfor
//	out_integer (TTY, force integer (p))
//	out_record  (TTY)
endmodule