r0 = syz_open_dev$tty1(0xc, 0x4, 0x1)
write$binfmt_script(r0, &(0x7f0000000100)={'#! ', './file0', [], 0xa, "f22aa25ae4b10d061cf00414915fca0efb4b970063671fe89b565a9943c30d365f393950a5fa55acd42b07bb77c186329d834771201c51206efb273474d7a74220c760ab6de3ff3d784a9b388e0fcb661b98ecb26a44592c10d938e4d7e8419d72307102fdd53d0b9c0e1e6bd5ab7c9b67"}, 0x7c)