Allow user to provide random seed to random_init().