def le16
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
113def le16(v: U32) -> List<&2, U32>:
114 match v:
115 case U32{w}:
116 +lo = W.W64.bits.lo(16n, 16n, w)
117 [of_bits8(W.W64.bits.lo(8n, 8n, lo)), of_bits8(W.W64.bits.hi(8n, 8n, lo))]