The text cdb5bd4a397c, as Debian 8 (Jessie) shipped it.
get static priority range
sched_get_priority_max(2) on Linux now
