Initial copy from S05f_randseed_huge