let string_of_state st = (state_label st.nums) ^" : "^(st.name)