#include <utilities.h>
#include <threads.h>
#include <fcntl.h>
#include <sys/stat.h>
#include <webid-oidc/random.h>

#define _(s) dgettext (PACKAGE, s)

/* Register "random", a guile function to generate random data. */
void init_webidoidc_random (void);

SCM_DEFINE (webidoidc_random_g, "random", 1, 0, 0, (SCM length),
	    "Get @var{length} random bytes, and encode them in a base64-url string.")
{
  size_t c_length = scm_to_size_t (length);
  uint8_t *data = scm_gc_malloc_pointerless (c_length, "random data");
  webid_oidc_random (c_length, data);
  return wrap_bytevector (c_length, data);
}

SCM_DEFINE (webidoidc_random_init_g, "random-init!", 0, 0, 0, (void),
	    "Re-initialize the random number generator so that future threads are not predictable.")
{
  webid_oidc_random_init ();
  return SCM_UNDEFINED;
}

void
init_webidoidc_random (void)
{
  webid_oidc_random_init ();
#ifndef SCM_MAGIC_SNARFER
#include "libwebidoidc-random.x"
#endif /* not SCM_MAGIC_SNARFER */
}