db_stack_trace_print
db_stack_trace_print(addr, have_addr, count, modif, db_printf);
void db_stack_trace_print(db_expr_t, int, db_expr_t, char *,
db_stack_trace_print((db_expr_t)__builtin_frame_address(0), 1,
db_stack_trace_print(db_dot, 0, 14 /* arbitrary */, "",