let initializer_prng = prng_of_random_seed cp_random_initializer#get