RECORD_OVERLAY_STRING 6826 src/xdisp.c            RECORD_OVERLAY_STRING (overlay, str, false);
RECORD_OVERLAY_STRING 6832 src/xdisp.c            RECORD_OVERLAY_STRING (overlay, str, true);