Corpus for openat$ptmx:

Coverage	Program