namespace std { class bad_weak_ptr : public exception { public: bad_weak_ptr() noexcept; }; }
bad_weak_ptr() noexcept;