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