done len_after_compress() for 1.5