Corpus for ioctl$TIOCCBRK:

Coverage	Program
80	openat$ptmx-ioctl$TIOCCBRK