// Test allocate and free
% set debug_print_ccode = true
main module ALLOCATE2
    use	TEXTIO
    declare
	Flex_array 	is packed array [1..?n] of char
	P 		is pointer Flex_array
	Top		: static P
	temp		: static packed array[1..5] of char
    enddeclare

	Top := allocate P ("ABCDE")
	Top@ := "12345"

	out_string (TTY, top@)
	out_record (TTY)
	out_integer (TTY, High (Top@))
	out_record (TTY)

	temp := top@

endmodule