Header: ext/array_allocator.h