+#define MASK32 0xffffffffu
+#define U32(x) ((uint32)(x) & MASK32)
+
+typedef u64 kludge64;
+#define X64(hi, lo) u64init(0x##hi, 0x##lo)
+#define HI64(x) u64gethi(x)
+#define LO64(x) u64getlo(x)
+#define LOAD64_L_(x, p) do { \
+ const uint8_t *p_ = (const uint8_t *)(p); \
+ uint32_t lo_ = LOAD32_L(p_ + 0), hi_ = LOAD32_L(p_ + 4); \
+ (x) = u64hilo(hi_, lo_); \
+} while (0)
+#define LOAD64_B_(x, p) do { \
+ const uint8_t *p_ = (const uint8_t *)(p); \
+ uint32_t hi_ = LOAD32_B(p_ + 0), lo_ = LOAD32_B(p_ + 4); \
+ (x) = u64hilo(hi_, lo_); \
+} while (0)
+#define STORE64_L_(p, x) do { \
+ uint8_t *p_ = (uint8_t *)(p); \
+ uint32_t lo_ = LO64(x), hi_ = HI64(x); \
+ STORE32_L(p_ + 0, lo_); STORE32_L(p_ + 4, hi_); \
+} while (0)
+#define STORE64_B_(p, x) do { \
+ uint8_t *p_ = (uint8_t *)(p); \
+ uint32_t lo_ = LO64(x), hi_ = HI64(x); \
+ STORE32_B(p_ + 0, hi_); STORE32_B(p_ + 4, lo_); \
+} while (0)
+#define SET64(z, hi, lo) ((z) = u64hilo((hi), (lo)))
+#define AND64(z, x, y) ((z) = u64and((x), (y)))
+#define OR64(z, x, y) ((z) = u64or((x), (y)))
+#define XOR64(z, x, y) ((z) = u64xor((x), (y)))
+#define CPL64(z, x) ((z) = u64not((x)))
+#define ROL64_(z, x, n) ((n) ? (z) = u64rol((x), (n)) : (x))