 class="lineno">   38</span><span class="comment"> * 7 bytes of the range with zeroes, wiping out the builder&#39;s work.  Of course you could have solved this</span></div>
<div class="line"><a id="l00039" name="l00039"></a><span class="lineno">   39</span><span class="comment"> * by keeping `.capacity() == .size() == 10` at all times and marking down the serialization&#39;s size in a separate</span></div>
<div class="line"><a id="l00040" name="l00040"></a><span class="lineno">   40</span><span class="comme