#include void init_with_random_bytes(unsigned char *data, size_t data_len);