w32handle.c: In function 'mono_w32handle_wait_multiple':