Introduce the notion that an allocator may be overridden at call time