#include <stdint.h>
#include <stddef.h>
#include "syscall/syscall.h"
#include "randcrypto/physrand.h"

int32_t SYSCALL0(sys_rand) {
  return randcrypto_get_physrand();
}