let prefetched_states    = Hashtbl.create 1