main module TESTHEAPQ %set debug_print_ccode = true %set debug_tree = true declare A is array [1..?N] of integer P is pointer A Q : static P enddeclare procedure TEST param In_Array : in ref array [1..?MMM] of integer endparam endprocedure Q := allocate P (N:10) TEST (Q@) endmodule