__db_print_symbol
void __db_print_symbol(db_expr_t);
__db_print_symbol((db_expr_t)__builtin_return_address(0))
__db_print_symbol(sf->sf_ ## x)
__db_print_symbol(tf->tf_ ## x)
static void __db_print_symbol(db_expr_t);