@ -27,16 +27,7 @@
#include <stdint.h>
#include <stdlib.h>
#ifndef RAND_PLATFORM_INDEPENDENT
uint32_t random32(void);
#else
extern uint32_t random32(void);
#endif /* RAND_PLATFORM_INDEPENDENT */
uint32_t random_uniform(uint32_t n);
void random_buffer(uint8_t *buf, size_t len);
void random_permute(char *buf, size_t len);