Logged In: YES 
user_id=80475

This should probably also be kicked around on python-dev so
that we arrive at a clear expression of what it means to
raise SystemExit and how that differs from os._exit().

One school of thought is that Greg's initial version is
correct -- raising SystemExit means get out as fast as you
can but not as abruptly as os._exit() so that buffers can be
flushed, etc.