// this file is used to prevent differece between generated tests
// while using different compilers

int orandseed;
void osrand( int s ) { orandseed = s; }
int orand() { return ((orandseed = orandseed * 239017 + 301703) >> 8) & 0x7FFF; }
int r( int a, int b ) { return ((orand() << 16) | orand()) % (b - a + 1) + a; }
