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