> STL тоже придётся вымести, в основном из-за отсутствия единого аллокатора.

Во всех контейнерах STL можно передавать собственные аллокаторы. Можно хоть для каждого аллокатора сделать свой набор классов, и это будет намного чище и безопасней дёрганий кошмарных malloc'ов и бесконечной ручной проверкой высвобождения всех сырых указателей.

STL это вообще по большей части набор шаблонизированного кода, странно это не знать.