Symbol: GPIO012_PIN_TO_BIT