//%set debug_tree = true
//%set debug_print_ccode = true
main module HEAP3
// 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		: static X_pointer
	    A		: static X_type
	enddeclare

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

	A := P@
	out_line (TTY, A)


endmodule