Symbol: GPIO3_PIN_TO_BIT