module exp export x,y,z declare x : static integer y is array [1..10] of integer enddeclare procedure z() endprocedure endmodule