M2compiler-V1/tests/t_with.mod

MODULE TWith;
TYPE Point = RECORD x, y : INTEGER END;
VAR p : Point; ExitCode : INTEGER;
BEGIN
  p.x := 3;
  p.y := 4;
  WITH p DO
    x := x + 10;
    y := y + 20
  END;
  ExitCode := p.x + p.y
END TWith.