For the moment, timers are triggered during sleep, but not in wait-for-input modes, like press-RETURN or f_getchar()