Corpus for sched_getscheduler:

Coverage	Program