The default good size allocation is deduced as n rounded up to the allocator's alignment.
See Implementation
The default good size allocation is deduced as n rounded up to the allocator's alignment.