#include <stdint.h> void randomfill(void *buffer, uint32_t size);