let
defIdStmtHash =
Inthash
.create 32