def get.u64be
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
262# A U64 at byte i, or None when its 8 bytes run past len.
263def get.u64be(b: Bytes, +i: U32) -> Bytes & Maybe<&2, Int.U64>:
264 u64(b, i, True{})