Implement get_allocator() and alloc-aware move.