Corpus for write$P9_RGETLOCK:
Coverage
Program