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