Corpus for write$binfmt_elf32:
Coverage
Program
5734
openat-ioctl$FS_IOC_FSSETXATTR-close-openat-write$binfmt_elf32