INTERFACE Int;

TYPE
  T = INTEGER;

PROCEDURE Equal (t, u: T): BOOLEAN;

PROCEDURE Copy (t: T): T;

END Int.