let defIdStmtHash = Inthash.create 32