Tcl_SetTimer • man page