cerr<<" backtrace:\n";
const Debug::Backtrace::FrameSeq &frames=exc->get_backtrace().get_frames();
for(Debug::Backtrace::FrameSeq::const_iterator i=frames.begin(); i!=frames.end(); ++i)
cerr<<" backtrace:\n";
const Debug::Backtrace::FrameSeq &frames=exc->get_backtrace().get_frames();
for(Debug::Backtrace::FrameSeq::const_iterator i=frames.begin(); i!=frames.end(); ++i)