let
prefetched_states =
Hashtbl
.create 1