The text fe6f71447dbb, as Debian 4.0 (Etch) shipped it.
get or set value of an interval timer
getitimer(2) on Linux now