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