Corpus for write$P9_RSTAT:

Coverage	Program
3280	openat2$dir-pipe2$9p-pipe2$9p-mount$9p_fd-write$P9_RSTAT
552	pipe2$9p-read-write$P9_RSTAT
439	pipe2$9p-read-write$P9_RSTAT-readv
218	pipe2$9p-read-write$P9_RSTAT