// FIXME, We want to do this in the model-checker:
xbt_die("MC_cut() not implemented");
}
void MC_ignore(void* addr, size_t size)
{
// FIXME, We want to do this in the model-checker:
xbt_die("MC_cut() not implemented");
}
void MC_ignore(void* addr, size_t size)
{