(<span class='json'>String</span> char).
</p>
  </div>

  <div class="api_docstring">
  <p class="api">[custom variable]
    <code class='api'><span class="api-name"> *end-of-string-handler* </span></code>
<span class='accessory'>(indicator: <code class='arg-key'>:end-of-string</code>)</span>
  </p>
<p class='docstring'>
Designator for a function of no arguments (called at encountering
a closing quote for a <span class='json'>String</span>).
</p>
  </div>

<p>Note that escape sequences in <code class="json"