Corpus for openat$vcsa:

Coverage	Program