RDR_SES_REQ
if (hdr->message_opcode != RDR_SES_REQ) {
reply_hdr.message_opcode = RDR_SES_REQ;
case RDR_SES_REQ: {
if ((op < RDR_SES_REQ) || (op >= RDR_NUM_OPS)) {
case RDR_SES_REQ: {
case RDR_SES_REQ: {