Corpus for read$snapshot:

Coverage	Program
73	openat$null-read$snapshot