pan> {</span>
<span id="cb12-7"><a href="#cb12-7" aria-hidden="true" tabindex="-1"></a>  <span class="co">// ...</span></span>
<span id="cb12-8"><a href="#cb12-8" aria-hidden="true" tabindex="-1"></a>  get_real(eps) ~ normal(<span class="dv">0</span>, sigma[<span class="dv">1</span>]);</span>
<span id="cb12-9"><a href="#cb12-9" aria-hidden="true" tabindex="-1"></a>  get_imag(eps) ~ normal(<span class="dv">0</span>, sigma[<span class="dv">2</span>]);</span>
<span id="cb12-10"><a href="#cb12-10" aria-hidden="