The text 13c55a2ed1b5, as Debian 9 (Stretch) shipped it.
get or set value of an interval timer
setitimer(2) on Linux now
