thrown_exception, tinfo, dest, tinfo->name(), __builtin_return_address(0)
);
{
const ::std::exception* e = reinterpret_cast<const ::std::exception*>(thrown_exception);
thrown_exception, tinfo, dest, tinfo->name(), __builtin_return_address(0)
);
{
const ::std::exception* e = reinterpret_cast<const ::std::exception*>(thrown_exception);