<p>absolute clowns <a href="https://github.com/Z3Prover/z3/blob/master/genaisrc/codecomplete.genai.mts#L45-L49" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">github.com/Z3Prover/z3/blob/ma</span><span class="invisible">ster/genaisrc/codecomplete.genai.mts#L45-L49</span></a></p>