+/* --- Utilities --- *
+ *
+ * These seem too hard to properly generalize, or I'd have put them in
+ * <mLib/bits.h>.
+ */
+
+#ifdef HAVE_UINT64
+# define BLKC_ADDC32(z_out, c_out, x, y) do { \
+ uint64 _t = (uint64)(x) + (y); \
+ (z_out) = U32(_t); (c_out) = _t >> 32; \
+ } while (0)
+#else
+# define BLKC_ADDC32(z_out, c_out, x, y) do { \
+ uint32 _x = (x), _c = 0, _t; \
+ _t = U32(_x + (y)); (z_out) = _t; (c_out) = (_t < _x); \
+ } while (0)
+#endif
+