record_buffer_markers 2274 src/buffer.c         record_buffer_markers (old_buf);
record_buffer_markers 2322 src/buffer.c     record_buffer_markers (old_buf);