#ifndef _RANDOM_H
#define _RANDOM_H

#include <types.h>

void seed_rand(uint32_t seed);

uint32_t uirand(void); /* 32 bits / 4 bytes */
uint64_t ulrand(void); /* 64 bits / 8 bytes */

/* get a number between 0 and max-1 */
uint32_t uirand_range(uint32_t max);
uint64_t ulrand_range(uint64_t max);

#endif