module test32g export test32g procedure TEST32G param I : inout val 32 bit integer endparam I := 1234 endprocedure endmodule