</h2>
<p>We continue with
a program <span class="math notranslate nohighlight">\(\writeprog\)</span> with
the following properties:</p>
<ol class="arabic simple">
<li><p>When <span class="math notranslate nohighlight">\(\writeprog\)</span> is started with <span class="math notranslate nohighlight">\(x\)</span> in R1
and R2 empty, we eventually halt  with a
word <span class="math notranslate nohighlight">\(y\)</span>
in R1 and all other registers empty.</p></li>
<li><p>Then <span class="math notranslate nohi