The text 1003df76d61b, as Debian 9 (Stretch) shipped it.
get static priority range
sched_get_priority_max(2) on Linux now
