%set debug_tree = true
%set debug_print_ccode = true
main module TESTHEAPc
	declare
	    X_type 	is packed array [1..6] of char
	    X_pointer 	is pointer X_Type
	    P		: X_Pointer
	    A		: static packed array [1..6] of char
	enddeclare
	A := P@
endmodule