PROCEDURE Exec (a: Action);
      VAR t: Kernel.Type;
   BEGIN
      t := Kernel.TypeOf(a);
      IF t.mod.refcnt >= 0 THEN   (* execute action if its module is not unloaded *)
         a.Do   (* warning: here the actions and candidates lists may be modified, or a trap may occur! *)
      END
   END Exec;

MODULE Abase;

   TYPE
      A* = POINTER TO ABSTRACT RECORD END;
      
      (* всегда рядом с абстракцией, то есть, не выгрузится пока есть клиенты *)
      SafeA = POINTER TO RECORD (A0)
         unsafe: A;
      END;
      
   PROCEDURE (a: A) Do*, NEW, ABSTRACT;
   
   PROCEDURE (a: SafeA) Do;
   BEGIN
      IF Valid(a.unsafe) THEN a.Do END
   END Do;
   
   PROCEDURE New*(): A;
      VAR a: SafeA;
   BEGIN
      NEW(a);
      a.unsafe:=dir.New();
      RETURN a
   END New;

END Abase.

MODULE Aimpl;
   
   TYPE
      HostA = POINTER TO RECORD (Abase.A)
         host: WinApi.A;
      END;
   
   PROCEDURE (a: HostA) Do;
   BEGIN
      (* smth *)
   END Do;
   
   PROCEDURE (a: HostA) FINALIZE;
   BEGIN
      Free(a.host)
   END FINALIZE;
   
END Aimpl.

    TYPE   
      Ref* = RECORD
         target: ANYPTR;
      END;
      
   PROCEDURE (VAR r: Ref) Set*(x: ANYPTR), NEW;
   BEGIN
      r.target:=x;
   END Set;
   
   PROCEDURE (VAR r: Ref) This*(): ANYPTR, NEW;
      VAR ret: ANYPTR;
   BEGIN
      IF r.target#NIL THEN
         IF Valid(r.target) THEN ret:=r.target ELSE r.target:=NIL END;
      END;
      RETURN ret
   END This;

MODULE PrivA;
   IMPORT Log, PrivB, PrivC;
   PROCEDURE Do*;
   BEGIN
      Log.String('PrivA.Do'); Log.Ln;
   END Do;
BEGIN
   Log.String('PrivA Init'); Log.Ln;
END PrivA.

MODULE PrivB;
   IMPORT Log;
BEGIN
   Log.String('PrivB Init'); Log.Ln
CLOSE
   HALT(101)
END PrivB.

MODULE PrivC;
   IMPORT Log;
BEGIN
   Log.String('PrivC Init'); Log.Ln;
CLOSE
   HALT(102)
END PrivC.