Symbol: expand_to_next_prime