RW_COUNT
(op == RW_READER && RW_COUNT(rw) != 0));
RW_ASSERT(rw, RW_COUNT(rw) != 0);
(op == RW_READER && RW_COUNT(rw) != 0));
RW_ASSERT(rw, RW_COUNT(rw) != 0);
RW_ASSERT(rw, RW_COUNT(rw) != 0);