record_buffer_markers 2282 src/buffer.c         record_buffer_markers (old_buf);
record_buffer_markers 2330 src/buffer.c     record_buffer_markers (old_buf);