random_unlearner.seed must be within uint32_t