The text 7f825dda38a3, as Debian 12 (Bookworm) shipped it.
set and get scheduling policy/parameters
sched_getscheduler(2) on Linux now
