#include <stddef.h>
void krand_init();
size_t rand(void);