@pnkfelix I'm convinced it's the first case. Here, the usable size means the de facto size of similar allocations. Basically, `alloc(size, align)` is exactly equivalent to `alloc(usable_size(size, align), align)`.