uint48
uint48 _rand48_seed = RAND48_SEED;
uint48 _rand48_mult = RAND48_MULT;
uint48 _rand48_add = RAND48_ADD;
uint48 tmp;
uint48 tmp;
uint48 tmp;
extern uint48 _rand48_seed;
extern uint48 _rand48_mult;
extern uint48 _rand48_add;
((uint48)(x) + (((uint48)(y)) << 16) + (((uint48)(z)) << 32))