// SPDX-License-Identifier: MIT
// Deliberately uses Arduino-ESP32 2.x APIs. Expected to fail with core 3.3.12.
#include <Arduino.h>
constexpr uint8_t LED_PIN = 4, PWM_CHANNEL = 0;
void setup() {
  Serial.begin(115200);
  ledcSetup(PWM_CHANNEL, 1000, 8);
  ledcAttachPin(LED_PIN, PWM_CHANNEL);
  ledcWrite(PWM_CHANNEL, 128);
}
void loop() { delay(1000); }
