def shift
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytesimport Base
17def shift(+i: U32) -> Nat:
18 U32.to_nat(((i .&. 3 : U32) * 8 : U32))
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytesimport Base
17def shift(+i: U32) -> Nat:
18 U32.to_nat(((i .&. 3 : U32) * 8 : U32))