public void SetLineInfoOffsets(int lineNumOffset, int linePosOffset) {
Debug.Assert(lineNumOffset >= 0 && lineNumOffset <= MaxLineNumberOffset, "Line number offset too large or small: " + lineNumOffset);
Debug.Assert(linePosOffset >= 0 && linePosOffset <= MaxLinePositionOffset, "Line position offset too large or small: " + linePosOffset);
this.props |= ((uint) lineNumOffset << LineNumberShift);
this.posOffset = (ushort) linePosOffset;
}