Corpus for read$snapshot:
Coverage
Program