LED 교대로 깜빡이기 관련 문의

void setup()
{
  pinMode(13, OUTPUT);
}

void loop()
{
  digitalWrite(13, HIGH);
  digitalWrite(12, LOW);
  delay(1000); // Wait for 1000 millisecond(s)
  digitalWrite(13, LOW);
  digitalWrite(12, HIGH);
  delay(1000); // Wait for 1000 millisecond(s)
}

예제의 코드는 위와 같은데요,

void setup()

에서

pinMode(12, OUTPUT);

이 빠져있는데도 정상 작동되는 이유가 궁금합니다.