We can change this if we end up needing random.