main module testfun declare A is packed array [1..2] of 16 bit integer B : A enddeclare procedure testfun param tt : out val A endparam endprocedure testfun (B) endmodule