w32_get_mouse_wheel_vertical_delta 5134 src/w32term.c  	    w32_get_mouse_wheel_vertical_delta ();
w32_get_mouse_wheel_vertical_delta 7808 src/w32term.c    w32_get_mouse_wheel_vertical_delta ();