benchmark: threadsafe random()