RM_FACT
else if (msg.msg_type == RM_FACT)
case RM_FACT:
case RM_FACT:
} else if (msg->msg_type == RM_FACT) {
else if (tmp_msg->msg_type == RM_FACT)
msg->msg_type = RM_FACT;
if ((cur_msg->msg_type == RM_FACT) &&
if ((cur_msg->msg_type == RM_FACT) &&
if (cur_msg->msg_type != RM_FACT) {
if (cur_msg->msg_type != RM_FACT) {