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