C++ Allocators for the Working Programmer