just `RANDOM_SEED`