Corpus for openat$vcsa:

Coverage	Program
760	openat$vcsa
698	openat$vcsa