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