main module field procedure a(i: inout ref integer) endprocedure declare b: static packed structure c: integer d: integer endstructure enddeclare a(b.c) a(b.d) endmodule