let string_of_state num =
  ("st"^string_of_int(num))