let defUseSetHash = IH.create 100