let rhsHtbl = IH.create 64