//%set debug_tree = true
//%set debug_print_ccode = true
main module HEAP7
// 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")
//	q := allocate x_pointer (n: 8)
//	out_line (TTY, P@)

//	A := P@
//	out_line (TTY, A)

	q@ := p@
//	out_line (tty, q@)

endmodule