#ifndef __DRIVER_H_
#define __DRIVER_H_

#include <stdint.h>

// Populates array with count number of rand() generated pseudorandom
// numbers up to maxRange
void generate_random(uint32_t* array, uint32_t count, uint32_t maxRange);

void shuffle_random(uint32_t* array, uint32_t count, uint32_t maxRange);
#endif