duvida em como variaveis se corportam

No código abaixo gostaria de saber por que os valores de "sequencia" podem ser "vistos" no avoid loop, não deveria ocorrer um erro por esses valores, por exemplo o sequencia[0] = led_vermelho ou o sequencia[1] = led_verde2, por não pertencerem ao mesmo escopo?

insira seu código aqui
#define led_verde 2
#define led_vermelho 3
#define led_amarelo 4
#define led_verde2 5
#define tamanho_sequencia 4

int sequencia[tamanho_sequencia];


void setup() {
  iniciaPortas();
  valoresSequencia();
  int x = 3;

}

void loop() {
  for (int indice = 0; indice < tamanho_sequencia; indice++){
     piscaLed(sequencia[indice]);
  }

}


void piscaLed(int led){
  digitalWrite(led, HIGH);
  delay(1000);
  digitalWrite(led,LOW);
  delay(500);
}

void iniciaPortas(){
  pinMode(led_verde, OUTPUT);
  pinMode(led_vermelho, OUTPUT);
  pinMode(led_amarelo, OUTPUT);
  pinMode(led_verde2, OUTPUT);
}

void valoresSequencia(){
  sequencia[0] = led_vermelho;
  sequencia[1] = led_verde2;
  sequencia[2] = led_verde;
  sequencia[3] = led_amarelo;
}