The text d4f0e1d2a026, as Debian 9 (Stretch) shipped it.
get/set program scheduling priority
getpriority(2) on Linux now
