void alarm_handler(int, mcontext_t *);