Useful for e.g., preallocating buffers for decompression. Also useful for making #1068 more accurate/effective, after we also fix #1174 / merge #1236
