The text 9cfb0b7c4577, as Debian 2.2 (Potato) shipped it.
get or set value of an interval timer
getitimer(2) on Linux now
