let
store_init_state states state =
Inthash
.add states (-1) state