main module tests

use	TEXTIO

declare
	s is packed array[1..?n] of packed structure
					a: 1 bit integer
					b: 5 bit integer
				    endstructure
	ps is pointer s
	t: static ps
enddeclare

t := allocate ps (n: 5)
out_string (tty, "Size=")
out_integer (tty, integer(sizeof(t@)))
out_string (tty, " High=")
out_integer (tty, high(t@))
out_record (tty)
endmodule