Actually use explicitly-set RNG seed