MODULE A;

TYPE
      AbsRec* = POINTER TO ABSTRACT RECORD
      END;
      
      AbsDirectory* = POINTER TO ABSTRACT RECORD
      END;
      
VAR
      dir- : AbsDirectory;
      
      PROCEDURE (a : AbsRec) Method*, NEW, ABSTRACT;
      PROCEDURE (a : AbsDirectory) NewRec*(VAR r : AbsRec), NEW, ABSTRACT;
      
      PROCEDURE SetDir*(newDir : AbsDirectory);
      BEGIN
            dir := newDir
      END SetDir;
      
      PROCEDURE UseAbsRec*;
      VAR
            r : AbsRec;
      BEGIN
            dir.NewRec(r);
            r.Method
      END UseAbsRec;
      
      
END A.

MODULE B;

IMPORT A, StdLog;

TYPE
      Rec = POINTER TO RECORD(A.AbsRec)
      END;
      
      Directory* = POINTER TO RECORD(A.AbsDirectory)
      END;
      
VAR
      dir : Directory;
      
      PROCEDURE (a : Rec) Method;
      BEGIN
            StdLog.Ln; StdLog.String("Hi, I'm Rec.Method!")
      END Method;
      
      PROCEDURE (a : Directory) NewRec*(VAR r : A.AbsRec);
      VAR
            nr : Rec;
      BEGIN
            NEW(nr);
            r := nr
      END NewRec;
      
      PROCEDURE Register*;
      BEGIN
            A.SetDir(dir)
      END Register;
      
BEGIN
      NEW(dir)
END B.

MODULE A;
...
VAR
  dir-, stdDir- : Directory;

PROCEDURE RemoveDir* (d : Directory);
BEGIN
  IF d = dir THEN dir := stdDir END
END RemoveDir;
...
END A;

MODULE B;
...
CLOSE
  A.RemoveDir (dir)
END B;