Working implicit allocator