Corpus for write$binfmt_elf64:

Coverage	Program
2307	openat$bsg-perf_event_open-write$binfmt_elf64
1909	perf_event_open-creat-ioctl$FS_IOC_FSSETXATTR-syz_open_dev$tty20-write$binfmt_elf64
1841	openat$bsg-perf_event_open-write$binfmt_elf64
1109	openat$bsg-perf_event_open-write$binfmt_elf64
1081	perf_event_open-openat$bsg-write$binfmt_elf64
974	socket$inet6_udplite-connect$inet6-setsockopt$inet6_IPV6_RTHDRDSTOPTS-write$binfmt_elf64
853	openat$nvram-write$binfmt_elf64
793	syz_open_dev$tty20-write$binfmt_elf64
754	openat$bsg-write$binfmt_elf64-write$binfmt_elf64-preadv
648	socketpair$nbd-recvmmsg-write$binfmt_elf64
111	ioprio_set$pid-creat-write$binfmt_elf64