-*- Outline -*-

* Pushd
Examine validity of destructor invocation.
