Corpus for ptrace$setopts:

Coverage	Program
51	getpid-ptrace$setopts