Corpus for read$snapshot:
Coverage
Program
538
openat-read$snapshot
479
pipe2-perf_event_open-vmsplice-read$snapshot