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