source level debugger for c/c++ in linux; inspiration from windbg