The text 7da8e4532ba4, as Debian 7 (Wheezy) shipped it.
call a procedure at a given time
Tcl_CreateTimerHandler(3tcl) on Linux now
