The text 1fdb5b500d07, as Debian 13 (Trixie) shipped it.
set and get scheduling policy/parameters
sched_setscheduler(2) on Linux now
