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