r0 = openat$vcsa(0xffffffffffffff9c, &(0x7f0000001680), 0x0, 0x0)
read$snapshot(r0, &(0x7f0000000080)=""/75, 0x4b)