Corpus for openat$vga_arbiter:

Coverage	Program