r0 = syz_open_dev$vcsn(&(0x7f00000190c0), 0x6, 0x0)
read(r0, &(0x7f00000000c0)=""/102391, 0x18ff7)