Corpus for write$snapshot:

Coverage	Program
286	openat$snapshot-write$snapshot
81	openat$snapshot-write$snapshot