#0  0x08097cb6 in Dasher::CDasherModel::HandleOutput(std::vector<Dasher::SymbolProb, std::allocator<Dasher::SymbolProb> >*, int*) ()
No symbol table info available.
#1  0x08098487 in Dasher::CDasherModel::OneStepTowards(long long, long long, unsigned long, std::vector<Dasher::SymbolProb, std::allocator<Dasher::SymbolProb> >*, int*) ()
No symbol table info available.
#2  0x0809fdc1 in Dasher::CDefaultFilter::Timer(int, Dasher::CDasherView*, Dasher::CDasherModel*, std::vector<Dasher::SymbolProb, std::allocator<Dasher::SymbolProb> >*, int*, Dasher::CExpansionPolicy**) ()
No symbol table info available.
#3  0x08092bd3 in Dasher::CDasherInterfaceBase::NewFrame(unsigned long, bool) ()
No symbol table info available.
#4  0x0808c149 in CDasherControl::TimerEvent() ()
No symbol table info available.
#5  0x0809009d in timer_callback(void*) ()
No symbol table info available.
#6  0x006ff78c in ?? () from /lib/libglib-2.0.so.0
No symbol table info available.
#7  0x006ff015 in g_main_context_dispatch () from /lib/libglib-2.0.so.0
No symbol table info available.
#8  0x00702e28 in ?? () from /lib/libglib-2.0.so.0
No symbol table info available.
#9  0x00703367 in g_main_loop_run () from /lib/libglib-2.0.so.0
No symbol table info available.
#10 0x01067749 in gtk_main () from /usr/lib/libgtk-x11-2.0.so.0
No symbol table info available.
#11 0x08078f96 in main ()
No symbol table info available.