Corpus for ioctl$TIOCCONS:

Coverage	Program
1580	openat$ptmx-ioctl$TIOCCONS