Corpus for write$snapshot:

Coverage	Program
443	openat$vcsa-write$snapshot
393	openat$vcsa-write$snapshot
389	openat$vcsa-write$snapshot
382	openat$vcsa-write$snapshot