let
string_of_state s =
try
List
.hd (
List
.assoc s state_strings)
with
_
->
assert
false