mutable
states = [(start_state,1)]