The text 4f78535efdcc, as Debian 10 (Buster) shipped it.
get static priority range
sched_get_priority_max(2) on Linux now
