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