let observed_states      = Hashtbl.create 1