The text a3f72914a138, as Debian 7 (Wheezy) shipped it.
get static priority range
sched_get_priority_max(2) on Linux now
