DEFINITION Integers

DEFINITION Integers;

   (* integers as objects and not just as base types *)

   IMPORT Services;

   TYPE
      Integer = POINTER TO IntegerRec;
      IntegerRec = RECORD (Services.ObjectRec) val: INTEGER END;

   PROCEDURE Create(VAR integer: Integer; val: INTEGER);

END Integers.