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