#include <stdlib.h>
#include <stdint.h>

#if defined(STARBOARD)
#include "starboard/system.h"
#else   // !defined(STARBOARD)
static uint64_t seed;
#endif  // defined(STARBOARD)

void srand(unsigned s)
{
#if !defined(STARBOARD)
	seed = s-1;
#endif  // !defined(STARBOARD)
}

int rand(void)
{
#if defined(STARBOARD)
	return SbSystemGetRandomUInt64() % RAND_MAX;
#else   // !defined(STARBOARD)
	seed = 6364136223846793005ULL*seed + 1;
	return seed>>33;
#endif  // defined(STARBOARD)
}