r0 = syz_open_dev$tty20(0xc, 0x4, 0x1)
write$binfmt_elf64(r0, &(0x7f0000000300)={{0x7f, 0x45, 0x4c, 0x46, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x40}, [{}], "87ce585528ce5f49f4c7c2534b119c8fb555ad4128f02a9bf1967a754611c10fc0517edf06fc1510bb97237482cdb9516217a791d984ed33ca6db1a40ebc6e8e5d76ef4099dbcfff73ecbcbbda97ad9175d9355553fa620c0c262dbe062fc129428e13ce9a295316c4a81680b6f9e7acc7b8900027ac43a275b56855a5b7357aa60830287d658afdbfe6a895aadd1ed997120efd3e203de2d3ae860f08c599a55ae490eb534653ecb64e39e8bad702e1ab289b399d69ed5735f007789205343afcd02fb1c40e9dd6678c14a1146d8d994a0a332d16600e10d60d7bac66ebd3135767b501cc9fbcba153e652534eff2c418c5e80dc2d958a17186a904211461463de8eab869f8084704c467fff32dc118f8441a371f4f418ed07cdf53d9938ab77c871447ce8511020174a4f23975049703fc3804cd2c5480d2b8c4bcf110619de40cf40e5e79abbfc6ce8df3b7a182d9124e413f6b9a656341b48bd0bbaaf24335b9103f4f1ef2fa690bbdd989282fd7129cfe6990f3773da407aa6fe29b50"}, 0x1f7)