Corpus for ioprio_get$pid:
Coverage
Program