#ifndef RANDOM_H__
#define RANDOM_H__ 1

#include "driver.h"

extern uint32 random_number(uint32 n);
extern void seed_random(uint32 seed);

#endif  /* RANDOM_H__ */