rt::allocator is throwing std::bad_alloc. Class rt::set has been made thread safe.