drain_message_queue 2565 src/w32proc.c  	  if (drain_message_queue ()
drain_message_queue 5021 src/w32term.c    drain_message_queue ();
drain_message_queue  747 src/w32term.h  extern int drain_message_queue (void);