private boolean test_seed(RandomNumberGenerator generator) 
  {
    int[] first_sequence = new int[10000];
    generator.set_seed(0);

    for (int i = 0; i < 10000; i++) 
	{
      first_sequence[i] = generator.next_int(10000);
    }

    int[] second_sequence = new int[10000];
    generator.set_seed(0);
    for (int i = 0; i < 10000; i++) 
	{
      second_sequence[i] = generator.next_int(10000);
    }

    for (int i = 0; i < 10000; i++) 
	{
      if (first_sequence[i] != second_sequence[i]) 
	  {
        return false;
      }
    }
	
    return true;
  }