Timer Hooks

Timer hooks are a special form of hook that is called after a specified amount of time has passed. They are treated differently than normal hooks - use add-timer-hook! and remove-timer-hook! to manipulate them. Timer hooks, unlike regular hooks, are one-shot - once the time limit expires and the timer hook is triggered, it is removed.