The text 3da30025f84f, as Debian 13 (Trixie) shipped it.
get static priority range
sched_get_priority_max(2) on Linux now
