db_num_to_str
db_printf("%s\n", db_num_to_str(retval));
char *db_num_to_str(db_expr_t);
db_printf("%-12s%s", regp->name, db_num_to_str(value));
db_printf("\t\t%s = ", db_num_to_str(old_value));
db_printf("%s\n", db_num_to_str(new_value));