int reached_stateless(mc_pair_stateless_t p);
void set_pair_stateless_reached(mc_pair_stateless_t p);
void MC_show_stack_liveness_stateless(xbt_fifo_t stack);
int reached_stateless(mc_pair_stateless_t p);
void set_pair_stateless_reached(mc_pair_stateless_t p);
void MC_show_stack_liveness_stateless(xbt_fifo_t stack);