Corpus for write$P9_RMKNOD:
Coverage
Program