Corpus for write$P9_RWRITE:
Coverage
Program