NUM_READERS
pthread_t tr[NUM_READERS], tw;
int ids[NUM_READERS], i, r;
for (i = 0; i < NUM_READERS; i++) {
for (i = 0; i < NUM_READERS; i++)
assert(state < NUM_READERS);
while (state != NUM_READERS) {
while (state != NUM_READERS) {