M2compiler-V3/tools/m2make/tests/CProg.mod

MODULE CProg;
IMPORT CDef;
VAR ExitCode : INTEGER;
VAR s : CDef.Shape;
BEGIN
  s.x := 8;
  ExitCode := s.x
END CProg.