#include "Rand.ns.h"

namespace Rand {

u32int m = 2073741824, a = 50000, b = 1534;
u64int current = RANDOM_SEED;

u64int rand() {
	current = (u32int)(a*current + b);
	while (current > m) current -= m;
	return current;
}

u64int max() {
	return m;
}

}