r0 = syz_open_dev$tty20(0xc, 0x4, 0x0)
r1 = fcntl$dupfd(r0, 0x0, r0)
write$binfmt_elf32(r1, &(0x7f0000002380)=ANY=[@ANYBLOB="7f454c46050963fe080000000000000000003e0003000000ae02000038000000c4000000000100003f002000"], 0xa07)