Corpus for openat$ptp0:

Coverage	Program
677	openat$ptp0