r0 = syz_open_dev$tty20(0xc, 0x4, 0x1)
write$binfmt_script(r0, &(0x7f0000000040)={'#! ', './file0', [], 0xa, "bf742eefc1344286a7db60a6a1b7cbb7fb7b9ac87cb03ad8fc4de2b14b0ca977892b737ee36d31bb44d5e2641dc6fe362aade631f0ed205e027e7e54234492fa2a0e15664a31c56785f783004e4d50a6c8e0f05661f461aa67368eedfd37cec3eae77a1613023c6e65589b3571"}, 0x78)