let
add =
Inthash
.add
Param
.states