void print_stacktrace(void) {}