Corpus for openat$vcsa:

Coverage	Program
698	openat$vcsa