The text da7d1d08e13d, as Debian 5.0 (Lenny) shipped it.
modify a timer's timeout
mod_timer(9) on Linux now
