main module TESTHEAPA
// test allocation with a variable as an initial condition

	declare
		A_type 		is integer
		A_Pointer 	is pointer A_type
		A		: A_Pointer
		B		: A_type
	enddeclare

	A := allocate A_Pointer (B)
endmodule