remove 'inline' in allocator.h