Corpus for openat$sr:

Coverage	Program