M2compiler-V1/tests/c_rec.mod

MODULE CRec;
TYPE R = RECORD x, y : INTEGER END;
VAR r1, r2 : R; ExitCode : INTEGER;
BEGIN
  r1.x := 8; r1.y := 9;
  r2 := r1;
  ExitCode := r2.x + r2.y
END CRec.