catch_interrupt  2779 win32/win32.c  	catch_interrupt();
catch_interrupt  2795 win32/win32.c  	catch_interrupt();