def be16
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
119def be16(v: U32) -> List<&2, U32>:
120 match v:
121 case U32{w}:
122 +lo = W.W64.bits.lo(16n, 16n, w)
123 [of_bits8(W.W64.bits.hi(8n, 8n, lo)), of_bits8(W.W64.bits.lo(8n, 8n, lo))]