+ default_random->set_seed(seed);
+}
+
+bool read_mersenne_state(const std::string& filename)
+{
+ return default_random->read_state(filename);
+}
+
+bool write_mersenne_state(const std::string& filename)
+{
+ return default_random->write_state(filename);
+}
+
+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);