slab_test/include/sys/rand.h

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