Corpus for ioctl$int_out:

Coverage	Program
417	socket$nl_xfrm-ioctl$int_out
358	socket$nl_xfrm-ioctl$int_out
277	socket$nl_xfrm-ioctl$int_out