catch_interrupt  3837 win32/win32.c      catch_interrupt();
catch_interrupt  3858 win32/win32.c  	catch_interrupt();
catch_interrupt  3873 win32/win32.c  	catch_interrupt();