class bad_optional_access : public exception { public: bad_optional_access(); };
bad_optional_access();