Corpus for openat$snapshot:
Coverage
Program