def u64.lo
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytesimport Base
import bend-kit-int@0.2.0.0/int.bend as Int
251def u64.lo(+be: Bool, x: Maybe<&2, U32>, r: Bytes & Maybe<&2, U32>) -> Bytes & Maybe<&2, Int.U64>:
252 (b, y) = r
253 (b, u64.join(be, x, y))