def W64.small.fin
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
319def W64.small.fin(qh: U32 & U32, +d: U32, +l: U32) -> W64Small:
320 (qhi, r) = qh
321 W64.small.join(qhi, W64.small.step(d, W64.small.step(d, (0, r), U32.shrn(l, 16n)), U32.and(l, 65535)))