Right, I saw that it wasn't quite that after looking at `freed_bytes` and trying to suss out the difference. `prev_allocd_bytes` seems like a good name. Since it's not a public interface, naming isn't crucial, just helpful.