The text b933c08b974e, as Debian 12 (Bookworm) shipped it.
set and get scheduling parameters
sched_getparam(2) on Linux now
