[the `debug (compress)` stuff is gone from the top of the file]