(res_randomid): Don't call gettimeofday here.