__efc_d_init
node->nodedb_state = __efc_d_init;
efc_node_transition(node, __efc_d_init, NULL);
__efc_d_init(struct efc_sm_ctx *ctx, enum efc_sm_event evt, void *arg);