Symbol: BOARD_GPIO_13