Arduino onboard LED pin number as a constant

Question

To use the onboard LED on an Arduino one usually has to know the pin number (13 in most cases), but is there a constant in the Arduino IDE one can use as well?

So is it possible to use something like int LED = ONBOARDLED; instead of using int LED = 13;?

Answer 1

#define LED_BUILTIN 13

(source)

Answer 2

Try LED_BUILTIN:

pins_arduino.h:static const uint8_t LED_BUILTIN = 13;