The text fe9d9c2c2942, as Debian 9 (Stretch) shipped it.
get/set value of interval timer
setitimer(2freebsd) on Linux now
