he low 64-bits of a 128-bit count operand are checked to compute the count.</p>
<figure id="fig-4-19">
<svg style="width: 455.616pt; height: 106.344012pt" viewBox="109.64 0.0 384.68 93.62001">
<g xmlns="http://www.w3.org/2000/svg" style="fill: none; stroke: none">
<rect height="87.66" x="112.14" style="fill: rgb(0%, 0%, 0%)" y="0.480009999999993" width="0.48"></rect>
<rect height="87.66" x="491.34" style="fill: rgb(0%, 0%, 0%)" y="0.480009999999993" width="0.47998"></rect>
<rect height="0.48001" x="112.14" 