let
total_states = ref 0