Edit File: throw_allocator.h