RECORD_OVERLAY_STRING 6799 src/xdisp.c            RECORD_OVERLAY_STRING (overlay, str, false);
RECORD_OVERLAY_STRING 6805 src/xdisp.c            RECORD_OVERLAY_STRING (overlay, str, true);