#ifndef __LIB__RAND_H__
#define __LIB__RAND_H__
#include <stdint.h>
void srand(uint32_t s);
uint32_t rand32(void);
uint64_t rand64(void);
#endif