r0 = syz_open_dev$vcsa(&(0x7f0000000200), 0x2, 0x1)
write$binfmt_misc(r0, &(0x7f0000000240)={'syz1'}, 0x4)