__mark_chain_precision
err = __mark_chain_precision(env, cur, -1, changed);
return __mark_chain_precision(env, env->cur_state, regno, NULL);
return __mark_chain_precision(env, starting_state, -1, NULL);