const SIGVTALRM: signal_t = 25;