random_seed is int type