I guess what might help is that I can't find the header files that define the values in cpp for the Arduino hardware. For instance,
digitalWrite(LED2, LOW);
I defined LED2 = 14; Actually I used an array... int leds[] = { LED_BUILTIN, 14, 15, 16 };
Where is LOW defined? Where is LED_BUILTIN...