// Test allocate and free //% set debug_print_ccode = true main module ALLOCATEa declare Flex_array is packed array [1..?n] of char P is pointer Flex_array T1, T2 : static P enddeclare T1 := allocate P ("ABCDE") T2 := allocate P ("ABCDE") endmodule