double cdrand_d(void);
/**
+ * cdrand_u returns a random uint32_t value uniformly distributed in the range
+ * [0-2^32).
+ *
+ * This function is thread- and reentrant-safe.
+ */
+uint32_t cdrand_u(void);
+
+/**
* Returns a random long between min and max, inclusively.
*
* If min is larger than max, the result may be rounded incorrectly and may be