NS_RECEIVED
state->kflags[key] |= NS_RECEIVED;
state->kflags[rxp.key] |= NS_RECEIVED;
#define RX(state, key) (state->kflags [key] & NS_RECEIVED)