let
string_of_state st = st.name