syz_open_dev$vcsn(&(0x7f0000000400), 0x3f, 0x0)