let sidStmtHash = Inthash.create 64