Corpus for ioctl$TUNGETDEVNETNS:

Coverage	Program
134	openat$tun-ioctl$TUNGETDEVNETNS