__efc_ns_init
efc_node_pause(ns, __efc_ns_init);
efc_node_transition(ns, __efc_ns_init, NULL);
__efc_ns_init(struct efc_sm_ctx *ctx, enum efc_sm_event evt, void *arg);