Corpus for ioctl$TIOCGSOFTCAR:

Coverage	Program
1821	openat$ptmx-ioctl$TIOCGSOFTCAR
365	openat$ptmx-ioctl$TIOCGSOFTCAR
287	openat$ptmx-ioctl$TIOCGSOFTCAR