Corpus for sched_setscheduler:
Coverage
Program