break;
}
if (headText !== null) {
resultReplacements.push(new TextReplacement(new Range(headSrcRangeStartLine, headSrcRangeStartCol, headSrcRangeEndLine, headSrcRangeEndCol), headText));
}
currentPosInS1Line = headEndInS1Line;
currentPosInS1Col = headEndInS1Col;
headHasValue = false;
}
let consumedStartS0Line: number | null = null;