def eocd.err

bend-kit-archive@0.5.1.0 · archive.bend:216

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

216def eocd.err(+x: List<&2, U32>, +e: U32) -> Maybe<&2, String>:
217  +zip64 = Bool.or(Bool.or(U32.is_eq(u16(x, 10), 65535), U32.is_eq(u32(x, 12), 4294967295)), U32.is_eq(u32(x, 16), 4294967295))
218  why(Bool.and(Bool.and(U32.is_eq(u16(x, 4), 0), U32.is_eq(u16(x, 6), 0)), U32.is_eq(u16(x, 8), u16(x, 10))), "multi-disk ZIP is unsupported",
219    why(Bool.not(zip64), "ZIP64 is unsupported",
220      why(Bytes.fits(e, u32(x, 16), u32(x, 12)), "central directory is out of bounds", None{})))