* plugins/gdb/debug_tree.c: