--- /dev/null
+IFNDEF UTILS64__ML__
+THEN
+DEFINE UTILS64__ML__
+ DEFINE WORDSIZE = 64
+ DEFINE HALFWORDSIZE = 32
+ DEFINE INTSIZE = 63
+ DEFINE HALFINTSIZE = 31
+ DEFINE HALF_MAX_INT = 2305843009213693951
+ DEFINE HPARAM = 65599
+ DEFINE HPARAM2 = 4303228801
+ DEFINE HPARAM3 = 282287506116799
+ DEFINE HPARAM4 = 71034040046345985
+END