DEFINITION MODULE PointLib;

EXPORT QUALIFIED Point, BumpPointY, BumpPointX, MakePoint;

  TYPE Point = RECORD x,y : INTEGER END;
  PROCEDURE MakePoint (VAR p : Point; x, y : INTEGER);
  PROCEDURE BumpPointY (VAR p : Point);
  PROCEDURE BumpPointX (VAR p : Point);
END PointLib.