I don't know. This was so long ago, but this looks like what you had in `zip.js`