DEFINITION MODULE Showcase15Lib;
(* Showcase-15 helper: a small record + string/IOChan utilities,
   written as a classic DEFINITION/IMPLEMENTATION pair so the strict
   235 signature checks apply. *)

TYPE
  Point = RECORD
    x, y : INTEGER;
  END;

PROCEDURE InitPoint (VAR p : Point; x, y : INTEGER);
PROCEDURE SumPoint (p : Point) : INTEGER;

PROCEDURE AppendInt (VAR s : ARRAY OF CHAR; n : INTEGER);
(* Appends the decimal form of n to the NUL-terminated string s,
   truncating to s's capacity. *)

END Showcase15Lib.