import esp32import gpio as GPIOGPIO_LED_RED ::= 2main: restartReason := esp32.resetreason led := GPIO.Pin GPIO_LEDRED --output led.set 1 sleep --ms=1000 led.set 0 if restartReason == 1: led.set 1 while true: sleep --ms=1000