Corpus for read$ptp:

Coverage	Program
184	openat$ptp0-read$ptp