#include <random.h>

void randomgenerator::seed(uintc s)
{
  srand(s);
}