wait_input
wait_input(timeleft(&timo));
wait_input(&t);
extern void wait_input __P((struct timeval *));