Function: timer-event-handler

Call the handler for the timer TIMER.
This function is called, by name, directly by the C code.