1 #include <stdlib.h>
2 
srand48(long seed)3 void srand48(long seed)
4 {
5 	seed48((unsigned short [3]){ 0x330e, seed, seed>>16 });
6 }
7