DEFINITION MODULE TableHandler;
 EXPORT QUALIFIED
  LineWidth,WordLength,Table,overflow,
  InitTable,Record,Tabulate;

 CONST LineWidth = 80; WordLength = 24;
 TYPE Table;
 VAR overflow: CARDINAL; (* >0 means table full *)

 PROCEDURE InitTable(VAR t:Table);
 PROCEDURE Record(t: Table; VAR x: ARRAY OF CHAR; n: INTEGER);
  (*enter x,n in table t; string must end with a blank*)
 PROCEDURE Tabulate(t: Table);
END TableHandler.