r0 = syz_open_dev$vcsn(&(0x7f0000000240), 0x6, 0x0)
pread64(r0, &(0x7f0000000480)=""/4096, 0x1000, 0x0)