Consistency: `avail > ext_off` (which admittedly feels kind of odd because it suggests that it's avail that's mutated...)