def gz.crc
import bend-kit-zlib@0.5.1.0/zlib.bend as Zlibimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
632def gz.crc(r: Bytes.Bytes & U32, +n: U32, +at: U32, c: Bytes.Bytes & Maybe<&2, U32>) -> Maybe<&1, Member>:
633 (out, +crc) = r
634 (src, m) = c
635 gz.isize(holds(m, crc), n, (at + 8 : U32), out, Bytes.get.u32le(src, (at + 4 : U32)))