#include <stdint.h>

void randomfill(void *buffer, uint32_t size);