static void cleanup_signal(int sig UNUSED) { done=1; trace_interrupt(); }
static void cleanup_signal(int sig) { (void)sig; done=1; trace_interrupt(); }