let observed_states=Hashtbl.create 1