#ifndef CIRCE_CORE_PLATFORM_H
#define CIRCE_CORE_PLATFORM_H

#include <stdint.h>
#include <stddef.h>

/// Return 0 on success
int circe_platform_random_bytes_callback (uint8_t *out, size_t len);

#endif