RandInit#

inline void RandInit(uint32_t seed = 315645664)#