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