r0 = syz_open_dev$tty1(0xc, 0x4, 0x1)
write$binfmt_elf64(r0, &(0x7f0000000380)={{0x7f, 0x45, 0x4c, 0x46, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x40, 0x0, 0x0, 0x6}, [{0x0, 0x0, 0x0, 0x0, 0xfffffffffffffbff, 0x9e50, 0x6, 0x7ff}], "0c0f5b6be642c6011ae73530429d48884503a1415c26554f36964904dd696712e3e888399f1950afc3546001da451fdcdccae79f4bb672d2fe780b2f62fc64c1c4b2adab02c8e73df8b9725da11db65ca020321e54962ba7fbe4e03da3858e2da0be799118db51e17914448a61950e82d34efb8934eeec1eea9e5a02fe70598ca51acc92d6cb486cd273412bc5ed765a4f89db069b4cbfca94694983996251a2aa467b65", ['\x00']}, 0x21c)