Corpus for write$P9_RVERSION:
Coverage Program
1052 socket$nl_xfrm-dup-dup-write$P9_RVERSION