please avoid unparamatrized Random usage.