let tc_discard_states_opt     = ref false