/span><span class="pln">encoder</span><span class="pun">) {
  </span><span class="pln">writeBoolean</span><span class="pun">(</span><span class="kwd">true</span><span class="pun">);
  </span><span class="kwd">assert</span><span class="pun">(</span><span class="pln">data </span><span class="pun">== []);
  </span><span class="pln">flush</span><span class="pun">();
  </span><span class="kwd">assert</span><span class="pun">(</span><span class="pln">data </span><span class="pun">== [</span><span class="lit">1</s