> In this case we only need to
      check once (<span class="i">line 2</span>) whether the string contains a newline char, i.e. <code class="fsharp"><span class="cc"><span
      class="cld">'</span><span class="ce">\r</span><span class="crd">'</span></span></code> or <code class="fsharp"><span class="cc"><span
      class="cld">'</span><span class="ce">\n</span><span class="crd">'</span></span></code>, (we’ll explain below why this is necessary) and in <span
      class="i">line 3</span> we preconstruct 