The text 6561cd9faf6c, as Debian 7 (Wheezy) shipped it.
modify a timer's timeout
mod_timer(9) on Linux now
