let gunzip_concat gzl =
    fwd (Input.gunzip_concat (bwd gzl))