#ifndef _RND_H_
#define _RND_H_

#include <stdint.h>

uint8_t rnd_get();

#endif