r0 = syz_open_dev$vcsn(&(0x7f0000000140), 0xa6, 0x0)
read(r0, &(0x7f0000000000)=""/94, 0x5e)