странное ограничение на размер создаваемого блока. Не понятно, где причина а где следствие данного ограничения. Запретить содавать большие объекты только из-за того что разность их указателей не умещается в ptrdiff_t. Может увеличить разрядность ptrdiff_t...тогда она не будет совпадать с разрядностью указателя...но на сколько это критично?