File randombytes.h artifact 424e250e05 part of check-in 8d7e39df83

#include <stdint.h>
void randombytes(uint8_t *buffer, uint64_t length);