let
observed_states =
Hashtbl
.create 1