Corpus for write$P9_RLOCK:
Coverage
Program