let
store_last_state states state =
Inthash
.add states 0 state