Corpus for read$ptp:

Coverage	Program
142	openat$ptp0-read$ptp
132	openat$ptp0-read$ptp
122	openat$ptp0-read$ptp