Corpus for openat$vcsa:

Coverage	Program
899	openat$vcsa
846	openat$vcsa
743	openat$vcsa
732	openat$vcsa
727	openat$vcsa
723	openat$vcsa
719	openat$vcsa
696	openat$vcsa
669	openat$vcsa
665	openat$vcsa
664	openat$vcsa
468	openat$vcsa
336	openat$vcsa
273	openat$vcsa