DEFINITION Replication;

  TYPE
    Object = POINTER TO ABSTRACT RECORD
      (obj: Object) Externalize- (VAR wr: Writer), NEW, EXTENSIBLE;
      (obj: Object) Internalize- (VAR rd: Reader), NEW, EXTENSIBLE;
      (obj: Object) ReExternalize- (VAR wr: Writer), NEW, EXTENSIBLE;
      (obj: Object) ReInternalize- (VAR rd: Reader), NEW, EXTENSIBLE
    END;

    Reader = LIMITED RECORD
      (VAR rd: Reader) ReadByte (OUT b: BYTE), NEW;
      (VAR rd: Reader) ReadBytes (OUT buffer: ARRAY OF BYTE; offset, count: INTEGER), NEW;
      ...
      (VAR rd: Reader) ReadObject (OUT obj: Object), NEW
    END;

    Writer = LIMITED RECORD
      (VAR wr: Writer) WriteByte (b: BYTE), NEW;
      (VAR wr: Writer) WriteBytes (IN buffer: ARRAY OF BYTE; offset, count: INTEGER), NEW;
      ...
      (VAR wr: Writer) WriteObject (obj: Object), NEW
    END;

    Service = POINTER TO ABSTRACT RECORD
      (c: Channel) Commit (obj: Object), NEW, ABSTRACT;
    END;

  PROCEDURE NewService (listenerEndPoint: ARRAY OF CHAR): Service;

END Replication.