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