fetch_buffer_markers 2284 src/buffer.c     fetch_buffer_markers (b);
fetch_buffer_markers 2326 src/buffer.c     fetch_buffer_markers (b);