Index: ossp-pkg/ui64/ui64.h
RCS File: /v/ossp/cvs/ossp-pkg/ui64/ui64.h,v
rcsdiff -q -kk '-r1.3' '-r1.4' -u '/v/ossp/cvs/ossp-pkg/ui64/ui64.h,v' 2>/dev/null
--- ui64.h	2002/04/29 19:16:03	1.3
+++ ui64.h	2002/06/29 11:08:35	1.4
@@ -71,6 +71,9 @@
     unsigned char x[8]; /* x_0, ..., x_7 */
 } ui64_t;
 
+#define ui64_cons(x7,x6,x5,x4,x3,x2,x1,x0) \
+    { { 0x##x0, 0x##x1, 0x##x2, 0x##x3, 0x##x4, 0x##x5, 0x##x6, 0x##x7 } }
+
 /* particular values */
 extern ui64_t        ui64_zero (void);
 extern ui64_t        ui64_max  (void);