Corpus for ioctl$TCFLSH:

Coverage	Program
167	openat$ptmx-ioctl$TCFLSH
151	openat$ptmx-ioctl$TCFLSH