The text 9ffd755efddc, as Debian 7 (Wheezy) shipped it.
initialize a timer
init_timer_key(9) on Linux now
