title: What is the opposite of static initialization?
body: <p>When communicating objects that initialize prior to <code>main()</code>, we usually refer to that as "static initialization". Is there a standard terminology for the opposite of that, something like "static de-initialization"? This would refer to when those static objects are destroyed (after exiting <code>main()</code>).</p>