#ifndef __CC_RAND_H__
#define __CC_RAND_H__

#include <stdint.h>

int cc_drbg_init(uint8_t *buf, uint32_t len);
int cc_drbg_seed(uint8_t *buf, uint32_t len);
int cc_drbg_bytes(uint8_t *buf, uint32_t len);

#endif /* __CC_RAND_H__ */