class interface NOTIFIER

invariant
   no_win_leaks: no_leaks; -- ? debug only
 -- ? debug only

end of NOTIFIER