main module sizeref procedure s (a: in ref 32 bit integer) endprocedure declare b: 16 bit integer enddeclare s(b) endmodule