pan class="ci">IndexOfLastCharPlus1</span></a></code> property
      which changes once the last char of the stream is detected. However, there shouldn’t be a reason that a parser needs to restore the old values
      of these properties upon backtracking, so we just treat these properties as constant and ignore them when we discuss the mutable <code
      class="fsharp"><a href="../reference/charstream.html#CharStream"><span class="ci">CharStream</span></a></code> state.
     </td>
    </tr>
    <tr clas