"Unlautere" Methoden des Moduls VolatileShards

   PROCEDURE Fits(pot: Shards.Pot; lid: Shards.Lid): BOOLEAN;
   BEGIN
      RETURN lid = mylid
   END Fits;

   PROCEDURE Supply(pot: Shards.Pot;
                    VAR lid: Shards.Lid): BOOLEAN;
   BEGIN
      lid := mylid; RETURN TRUE
   END Supply;

   (* ===== marshalling procedures: ===== *)

   PROCEDURE CreatePot(VAR obj: PersistentObjects.Object);
   BEGIN
      obj := mypot;
   END CreatePot;

   PROCEDURE CreateLid(VAR obj: PersistentObjects.Object);
   BEGIN
      obj := foreignlid;            (* will never fit to mypot *)
   END CreateLid;