ANY NONE
deferred class interface DISPOSABLE
   --
   -- All classes whoses instances need a special treatment before
   -- they are disposed of by the garbage collector should inherit
   -- from this class and effect dispose.
   --



end of deferred DISPOSABLE