Index: ossp-pkg/tai/tai_ui64.h
RCS File: /v/ossp/cvs/ossp-pkg/tai/tai_ui64.h,v
rcsdiff -q -kk '-r1.1' '-r1.2' -u '/v/ossp/cvs/ossp-pkg/tai/tai_ui64.h,v' 2>/dev/null
--- tai_ui64.h	2002/04/29 19:19:48	1.1
+++ tai_ui64.h	2002/06/29 11:09:57	1.2
@@ -73,6 +73,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);