//%set debug_tree = true
//%set debug_print_ccode = true
main module HEAP6
// Test allocation of a 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,Q		: static X_pointer
	    A		: static packed array[1..8] of char
	enddeclare

	P := allocate X_Pointer ("ABCDEFGH")
	out_line (TTY, P@)

	A := P@
	out_line (TTY, A)

endmodule