fetch_buffer_markers 2292 src/buffer.c     fetch_buffer_markers (b);
fetch_buffer_markers 2334 src/buffer.c     fetch_buffer_markers (b);