EFC_EVT_EXIT
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
efc_node_post_event(node, EFC_EVT_EXIT, data);
} else if (evt == EFC_EVT_EXIT) {
case EFC_EVT_EXIT:
case EFC_EVT_EXIT:
efc_sm_post_event(ctx, EFC_EVT_EXIT, data);
[EFC_EVT_EXIT] = "EFC_EVT_EXIT", \