Corpus for ioctl$TIOCSBRK:

Coverage	Program
132	openat$ptmx-ioctl$TIOCSBRK