users to exit Python without the normal precautions.  (The can do this
using os._exit() anyway, but at least that's documented.)