Corpus for vmsplice:

Coverage	Program
274	pipe2-vmsplice
120	openat$vga_arbiter-vmsplice
33	vmsplice