rem: if (idlePending()) checkIdleHandlers();
add: checkIdleHandlers();
context: WHandleEvents(){    /* Check any expired timers */    if (timerPending()) {        checkTimerHandlers();    }    /* We need to make sure that we have some input handler before calling     * checkIdleHandlers() in a while loop, because else the while loop     * can run forever (if some idle handler reinitiates itself).     */    if (inputHandler) {        /* Do idle and timer stuff while there are no input events */        while (idlePending() && inputHandler && !handleInputEvents(False)) {            if (idlePending())                checkIdleHandlers();            /* dispatch timer events */            if (timerPending())                checkTimerHandlers();        }    } else {        if (idlePending())            checkIdleHandlers();        /* dispatch timer events */        if (timerPending())            checkTimerHandlers();    }    handleInputEvents(True);    /* Check any expired timers */    if (timerPending()) {        checkTimerHandlers();    }}