state_array_t
state_array_t path;
state_array_t *path;
state_array_t *path, Idx top_node,
sub_top->path = calloc (sizeof (state_array_t),
check_arrival (re_match_context_t *mctx, state_array_t *path, Idx top_node,