Corpus for openat$vcsa:

Coverage	Program
671	openat$vcsa
518	openat$vcsa