remove-timer-hook! -- Remove a timer hook identified by HANDLE.
Synopsis
(remove-timer-hook! handle)
Description
Remove a timer hook identified by handle.
The handle should be an object that was returned by
add-timer-hook!. No warning or error will occur if handle is for a
timer hook that has already been triggered.