task_rng and random has moved to std::rand