Constant DEFAULT_RNG_SEED 

const DEFAULT_RNG_SEED: u64 = 0xef6f79ed30ba75a;