/* rand( void )12This file is part of the Public Domain C Library (PDCLib).3Permission is granted to use, modify, and / or redistribute at will.4*/56#include <stdlib.h>78#ifndef REGTEST910int rand( void )11{12_PDCLIB_seed = _PDCLIB_seed * 1103515245 + 12345;13return (int)( _PDCLIB_seed / 65536 ) % 32768;14}1516#endif1718#ifdef TEST19#include "_PDCLIB_test.h"2021int main( void )22{23int rnd1, rnd2;24TESTCASE( ( rnd1 = rand() ) < RAND_MAX );25TESTCASE( ( rnd2 = rand() ) < RAND_MAX );26srand( 1 );27TESTCASE( rand() == rnd1 );28TESTCASE( rand() == rnd2 );29return TEST_RESULTS;30}3132#endif333435