rename dbg_dump to gdb_print