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