Corpus for write$P9_RSETATTR:
Coverage
Program