r0 = syz_open_dev$vcsn(&(0x7f00000001c0), 0x200, 0x8001)
write$binfmt_script(r0, &(0x7f00000002c0)={'#! ', './file1', [], 0xa, "1ca4b01034e0d97e19d015a6676c0d4c945c56b18ce2148eca3a423da4f3874627fb9a43f71f657a0c55485b0e7920988d82ffa3ff9e2600e2fef9a3b2bfbe1c310ddb0738"}, 0x50)