[Ticket #12] STL container allocator