Symbol: GPIO_OUTPUT_PIN_MASK_72_95