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