r0 = syz_open_dev$tty1(0xc, 0x4, 0x1)
write$binfmt_elf64(r0, &(0x7f0000000000)={{0x7f, 0x45, 0x4c, 0x46, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x40}, [{}], "bd13d0872938b8264251efe70cd9ffd278dcfd1e700cd4d5a17b0fc20dfb6b7e235cf28661d6d680bc025d7beda354cffcf59a7c0b0e91ebad68a2ef04a9a1cfa9e95e8f85aa7be7afdf637e79b82ffebbd6a42c0d9a0af4ceb1ee53c79ffc5f8662ed633b20486355f093ed22b81dc5cefe135e178a69e745dac20b8903abc72df517ad25e94290efb4a4856a764f170e5d3f3c0d4d44902b05a6ca33d2639cd3c55f99275ecec183861be61228bcbebd1dcf66c5c9308b23699b50"}, 0x134)