Corpus for write$binfmt_elf32:

Coverage	Program
4036	openat-open-writev-creat-ftruncate-openat-write$binfmt_elf32-ioctl$EXT4_IOC_MOVE_EXT
853	perf_event_open-syz_open_dev$tty20-dup-write$binfmt_elf32
847	syz_open_dev$tty1-write$binfmt_elf32
783	syz_open_dev$tty20-dup-write$binfmt_elf32
580	syz_open_dev$tty1-write$binfmt_elf32