#include <stdlib.h>

void srand48(long seed)
{
	seed48((unsigned short [3]){ 0x330e, seed, seed>>16 });
}


#ifdef TEST
int
main(void) {
	return 0;
}
#endif