Corpus for write$P9_RGETLOCK:

Coverage	Program