w32_msg_pump     3509 src/w32fns.c     w32_msg_pump (msg_buf);
w32_msg_pump     3574 src/w32fns.c     w32_msg_pump (&dummy_buf);