an class="pln">bytes</span><span class="pun">[</span><span class="lit">0</span><span class="pun">..</span><span class="pln">n</span><span class="pun">] == [</span><span class="lit">0b00000000</span><span class="pun">]);

</span><span class="pln">n </span><span class="pun">= </span><span class="pln">encodeLong</span><span class="pun">( </span><span class="lit">1</span><span class="pun">, </span><span class="pln">bytes</span><span class="pun">[</span><span class="lit">0</span><span class="pun">..</span><span 