Corpus for ioctl$int_out:

Coverage	Program