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