Corpus for openat$sndseq:
Coverage Program