def lc.b2.bits
import bend-osdev-cipher-core@0.1.0.0/cipher_core.bend as CipherCoreimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
163def lc.b2.bits(w: U32) -> U32:
164 match w:
165 case U32{x}:
166 lc.of8(W.W64.bits.lo(8n, 16n, W.W64.bits.hi(8n, 24n, x)))