rb_w32_check_interrupt 2950 win32/win32.c  int rb_w32_check_interrupt(void *);	/* @internal */
rb_w32_check_interrupt 3029 win32/win32.c  	    if (th && rb_w32_check_interrupt(th) != WAIT_TIMEOUT) {