READ_REPLY
case READ_REPLY:
ReadReply() : ReplyRequest(READ_REPLY) {}
ReadReply() : ReplyRequest(READ_REPLY) {}
case READ_REPLY:
KernelRequestHandler handler(this, READ_REPLY);
case READ_REPLY:
case READ_REPLY: