x_update_frame_user_time_window 19680 src/xterm.c    		x_update_frame_user_time_window (f);
x_update_frame_user_time_window 28882 src/xterm.c          x_update_frame_user_time_window (f);