="Punctuation">(</span><span class="StringLit">&quot;/tmp&quot;</span><span class="Operator">.</span><span class="Identifier">cstring</span><span class="Punctuation">)</span>
<span class="Keyword">if</span> <span class="Identifier">false</span><span class="Punctuation">:</span>
  <span class="Identifier">abort</span><span class="Punctuation">(</span><span class="Punctuation">)</span>
  <span class="Identifier">disconnect</span><span class="Punctuation">(</span><span class="Punctuation">)</span>
  <span clas