Corpus for sched_getscheduler:

Coverage	Program
65	getpid-sched_getscheduler