Corpus for read$ptp:
Coverage
Program
132
openat$ptp0-read$ptp
122
openat$ptp0-read$ptp
122
openat$ptp0-read$ptp