__ocs_domain_allocated
ocs_sm_transition(ctx, __ocs_domain_allocated, NULL);
extern void *__ocs_domain_allocated(ocs_sm_ctx_t *ctx, ocs_sm_event_t evt, void *arg);