Corpus for write$snapshot:
Coverage
Program