M2compiler-V1/tests/b_init.mod

MODULE BInit;
MODULE M EXPORT cnt;
VAR cnt : INTEGER;
BEGIN
  cnt := 42
END M;
VAR ExitCode : INTEGER;
BEGIN
  ExitCode := M.cnt
END BInit.