2-3" aria-hidden="true" tabindex="-1"></a>}</span>
<span id="cb2-4"><a href="#cb2-4" aria-hidden="true" tabindex="-1"></a><span class="co">// ...body...</span></span></code><button title="Copy to Clipboard" class="code-copy-button"><i class="bi"></i></button></pre></div>
<p>For Stan data dump files, the recommended extension is <code>.R</code>, or more informatively, <code>.data.R</code>. For JSON output, the recommended extension is <code>.json</code>.</p>
</section>
<section id="variable-naming" class="le