It should also be noted that all timers cease to work until $input is responsed.


Well. At least I won lunch.
Good philosophy, see good in bad, I like!