MODULE TMRec;
MODULE M EXPORT Point, Origin;
TYPE Point = RECORD x, y : INTEGER END;
VAR Origin : Point;
END M;
VAR p : M.Point; ExitCode : INTEGER;
BEGIN
  p.x := 10;
  p.y := 20;
  M.Origin := p;
  p.x := 0;
  p.y := 0;
  p := M.Origin;
  ExitCode := p.x + p.y
END TMRec.