What I'm saying is that [...] ((input-pending-p) nil) ((<= seconds 0) (or nodisp (redisplay))) [...] would become [...] ((input-pending-p) nil) ((<= seconds 0) (to-be-determined-call-to-timer-check) (or nodisp (redisplay))) [...] The idea is to compensate for input-pending-p no longer calling timer_check so as sit-for will behave the same.