def read64
import bend-kit-protobuf@0.2.0.0/protobuf.bend as Protobufimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as B
71def read64(c: B.Cursor) -> Result<&2, &1, Error, B.Cursor & Word64>:
72 do Result<&2, &1, Error, B.Cursor & Word64>:
73 low : B.Cursor & U32 <- read32(c)
74 read64.lo(low)