Elena, here's something that must have fallen thru the cracks at some point. handle_sigint needs to set quit_flag -- or else QUIT won't quit. As is currently, QUIT won't work unles immediate_quit is set -- and I'm pretty sure that's not how it was intended to work.