let equal = CudfAdd.equal