All of the other ways of referring to pins are #defined to the corresponding Arduino pin number.An and PIN_An ConstantsThe core also provides An and PIN_An constants (where n is a number from 0 to 11). As with the official core, PIN_An is defined as the digital pin number of the...