to rescue random_seed