r0 = syz_open_dev$tty1(0xc, 0x4, 0x1)
write$binfmt_script(r0, &(0x7f0000001fc0)={'#! ', './file0/file0', [], 0xa, "550331b8899440ea4aacb9cc64c56048166e4667e3f9017bb496b6758cdd1b2842"}, 0x32)