Corpus for openat$selinux_attr:

Coverage	Program
1271	openat$selinux_attr