The text 057db5fe3d4a, as Debian 8 (Jessie) shipped it.
get/set value of interval timer
setitimer(2freebsd) on Linux now
