Corpus for openat$tun:

Coverage	Program
820	openat$tun
712	openat$tun