rb_w32_wait_events 174 ext/readline/readline.c rb_w32_wait_events(&h, 1, INFINITE); rb_w32_wait_events 122 win32/win32.c int rb_w32_wait_events(HANDLE *events, int num, DWORD timeout);