pan class="string">"\"%4d\"1234.00"</span></code>, then
      <code class="code"><span class="constructor">Scanf</span>.sscanf&nbsp;s&nbsp;<span class="string">"%(%i%)"</span>&nbsp;(<span class="keyword">fun</span>&nbsp;fmt&nbsp;i&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;fmt,&nbsp;i)</code> evaluates to
      <code class="code">(<span class="string">"%4d"</span>,&nbsp;1234)</code>.
      This behaviour is not mere format substitution, since the conversion
      returns the format string read as addi