add_timer(9) on Linux

The text 394795b37859, as Debian 7 (Wheezy) shipped it.

start a timer

add_timer(9) on Linux now