text: // 
  // Copyright 1998-2012 Jeff Bush
  // 
  // Licensed under the Apache License, Version 2.0 (the "License");
  // you may not use this file except in compliance with the License.
  // You may obtain a copy of the License at
  // 
  //     http://www.apache.org/licenses/LICENSE-2.0
  // 
  // Unless required by applicable law or agreed to in writing, software
  // distributed under the License is distributed on an "AS IS" BASIS,
  // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  // See the License for the specific language governing permissions and
  // limitations under the License.
  // 
  
  #include <stdlib.h>
  
  static int seed = 0;
  
  void srand(int new_seed)
  {
  	seed = new_seed;
  }
  
  int rand_r(int *seed)
  {
  	int result;
  
      *seed = *seed * 1103515245 + 12345;
  	result = *seed;
  
      *seed = *seed * 1103515245 + 12345;
  	result = (result >> 24) ^ (result << 7) ^ *seed;
  
      *seed = *seed * 1103515245 + 12345;
  	result = (result >> 24) ^ (result << 7) ^ *seed;
  
      return result & 0x7fffffff;
  }
  
  int rand()
  {
  	return rand_r(&seed);
  }
  
  
  