Corpus for ioctl$TIOCGISO7816:

Coverage	Program
147	openat$ptmx-ioctl$TIOCGISO7816