The text 63d1e958505f, as Debian 9 (Stretch) shipped it.
set and get scheduling policy/parameters
sched_setscheduler(2) on Linux now