417c417,422
< CallbackQueue exitCallbacks;
---
> CallbackQueue&
> exitCallbacks()
> {
> static CallbackQueue theQueue;
> return theQueue;
> }
425c430
< exitCallbacks.add(callback);
---
> exitCallbacks().add(callback);
445,446c450,451
< exitCallbacks.process();
< exitCallbacks.clear();
---
> exitCallbacks().process();
> exitCallbacks().clear();