with_echo_area_buffer 12661 src/xdisp.c        = with_echo_area_buffer (w, display_last_displayed_message_p,
with_echo_area_buffer 12721 src/xdisp.c          bool resized_p = with_echo_area_buffer (w, 0, resize_mini_window_1,
with_echo_area_buffer 12906 src/xdisp.c          with_echo_area_buffer (0, 0, current_message_1, &msg, Qnil);
with_echo_area_buffer 12997 src/xdisp.c    	with_echo_area_buffer (0, 0, truncate_message_1,
with_echo_area_buffer 13050 src/xdisp.c          with_echo_area_buffer (0, -1, set_message_1, 0, string);