Corpus for openat$tun:

Coverage	Program