+static std::unique_ptr<Random> default_random(new XbtRandom);
+
+void set_implem_xbt()
+{
+ default_random.reset(new XbtRandom);
+}
+void set_implem_std()
+{
+ default_random.reset(new StdRandom);
+}
+
+void set_mersenne_seed(int seed)
+{
+ default_random->set_seed(seed);
+}
+
+int uniform_int(int min, int max)
+{
+ return default_random->uniform_int(min, max);
+}
+
+double uniform_real(double min, double max)
+{
+ return default_random->uniform_real(min, max);
+}
+
+double exponential(double lambda)
+{
+ return default_random->exponential(lambda);
+}
+
+double normal(double mean, double sd)
+{
+ return default_random->normal(mean, sd);
+}
+