Add finalize_rand()