Corpus for openat$vga_arbiter:

Coverage	Program
717	openat$vga_arbiter