Once you are implementing your own allocator you need to worry about fragmentation under many operations, which would be the majority of the complexity.