M2compiler-V1/tests/t_mint.mod

MODULE TMInt;
MODULE M EXPORT MyInt;
TYPE MyInt = INTEGER;
END M;
VAR x : M.MyInt;
VAR ExitCode : INTEGER;
BEGIN
  x := 5;
  ExitCode := x
END TMInt.