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