#ifndef _SALSARND_H_
#define _SALSARND_H_

#include <stdint.h>

uint32_t get_random32(void);

static inline uint64_t get_random64(void)
{
  uint64_t ret64;

  ret64 = get_random32();
  ret64 <<= 32;
  ret64 += get_random32();
  return ret64;
}

static inline double get_randomdouble(void)
{
  uint64_t ret64;

  ret64 = get_random64();
  return ret64 / (double)UINT64_C(0xFFFFFFFFFFFFFFFF);
}

#endif