tools/dbginfo
