let
get_init_state states =
Inthash
.find states (-1)