Corpus for ioctl$TIOCPKT:

Coverage	Program
134	openat$ptmx-ioctl$TIOCPKT-ioctl$TIOCPKT