9 DEFINE HALFWORDSIZE = 32
11 DEFINE HALFINTSIZE = 31
14 DEFINE HALFWORDSIZE = 16
16 DEFINE HALFINTSIZE = 15
19 DEFINE ROTATEHALF (x) = (((x) lsl HALFINTSIZE) lor ((x) lsr HALFINTSIZE))
20 DEFINE HASHINT2 (x,y) = ((((x) lsl 16)+((x) lsl 8)-(x))+(y))
21 DEFINE HASHINT3 (x,y,z) = (((((x) lsl 16)+((x) lsl 8)-(x))+(y))*65599+(z))
24 END (* IFNDEF UTILS__ML__ *)