#include "types.h"

// Get a pseudo random number
uint8_t random();
// Set the seed for the random number generator
void random_set_seed(uint8_t seed);

// Get a random number from hardware
uint8_t random_hw();