let string_of_state l =
  String.concat " " (List.map string_of_mod_key l)