main module TESTHEAPB
// test allocation with initial conditions through a pointer

	use TEXTIO
	declare
		A_Type is integer initially 77
		A_pointer is pointer A_Type
		A	: A_Pointer
		B	: A_Pointer
		C	: A_Type
	enddeclare

	B := allocate A_Pointer (C)
	A := allocate A_Pointer (B@)

	out_integer (TTY, A@, "Initial condition =")
	out_record (TTY)
endmodule