Corpus for read$snapshot:
Coverage
Program
137
openat$sr-read$snapshot