Corpus for openat$vcsa:

Coverage	Program
696	openat$vcsa
461	openat$vcsa
448	openat$vcsa
447	openat$vcsa