Corpus for read$snapshot:

Coverage	Program
48	read$snapshot