Make task_rng() return @mut R instead of @@mut R