MODULE MBare; MODULE M EXPORT cnt, Inc; VAR cnt : INTEGER; PROCEDURE Inc; BEGIN cnt := cnt + 1 END Inc; END M; VAR ExitCode : INTEGER; BEGIN M.cnt := 0; M.Inc; M.Inc(); ExitCode := M.cnt END MBare.