+uint64_t random_uint64(void);
+
+static inline int
+random_range(int max)
+{
+ return random_uint32() % max;
+}
+
+static inline uint8_t
+random_uint8(void)
+{
+ return random_uint32();
+}
+
+static inline uint16_t
+random_uint16(void)
+{
+ return random_uint32();
+}