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