Corpus for write$P9_RRENAME:
Coverage
Program