proc inflate(dst: var string; src: ptr UncheckedArray[uint8]; len, pos: int) {.
    ...raises: [ZippyError], tags: [], forbids: [].}