The text 52ac5b595bae, as Debian 7 (Wheezy) shipped it.
modify a pending timer's timeout
mod_timer_pending(9) on Linux now
