/* Sets the seed for the global random number generator, which is used by the g_random_* functions, to @seed.  */
void g_random_set_seed(guint32 seed)
/* Sets the seed for the global random number generator, which is used by the g_random_* functions, to @seed.  */
void g_random_set_seed(guint32 seed)
{
  G_LOCK (global_random);
  g_rand_set_seed (get_global_random (), seed);
  G_UNLOCK (global_random);
}