module global1 export y,z procedure y (i,j,k: integer); endprocedure procedure z (i,j,k: integer); endprocedure endmodule