Corpus for write$P9_RSTAT:
Coverage
Program