Corpus for write$binfmt_aout:

Coverage	Program
1775	openat-ftruncate-ioctl$TIOCGSID-perf_event_open-perf_event_open-socketpair$unix-fcntl$setstatus-connect$unix-sendfile-write$binfmt_aout
348	socketpair$unix-fcntl$setstatus-write$binfmt_aout
314	syz_open_dev$tty20-write$binfmt_aout
145	syz_open_dev$tty20-ioctl$TIOCSETD-write$binfmt_aout