Corpus for write$P9_RREAD:
Coverage
Program
275
pipe2$9p-write$P9_RLOCK-write$P9_RREAD