void MC_ddfs_stateless_init(xbt_automaton_t a);
void MC_ddfs_stateless(xbt_automaton_t a, int search_cycle, int replay);
void MC_show_stack_liveness_stateless(xbt_fifo_t stack);
void MC_ddfs_stateless_init(xbt_automaton_t a);
void MC_ddfs_stateless(xbt_automaton_t a, int search_cycle, int replay);
void MC_show_stack_liveness_stateless(xbt_fifo_t stack);