w32_msg_pump     3542 src/w32fns.c     w32_msg_pump (msg_buf);
w32_msg_pump     3607 src/w32fns.c     w32_msg_pump (&dummy_buf);