Corpus for openat$ptp0:

Coverage	Program