Corpus for ioctl$TCFLSH:

Coverage	Program
172	openat$ptmx-ioctl$TCFLSH
145	openat$ptmx-ioctl$TCFLSH