: static void catch_timer(int sig)

