main module TESTHEAP1
	use	TEXTIO
	import	HEAPINIT from HEAPINIT

	declare
	    I 	is array [1..2] of 16 bit integer
	    P 	is pointer I
	    P1	: static P
	enddeclare

	HEAPINIT ()

	P1 := allocate P ([1]:5, [2]:8 )

	out_line (TTY, "OK")
endmodule