Corpus for write$binfmt_elf32:

Coverage	Program
4329	openat-close-openat-write-close-openat-write$binfmt_elf32-close-fchmodat-execveat
852	syz_open_dev$tty1-write$binfmt_elf32
740	syz_open_dev$tty1-write$binfmt_elf32
181	syz_open_dev$evdev-write$binfmt_elf32