from machine import Pin
import time

led_red = Pin(13, Pin.OUT)

led_red.value(1)

while True:
    time.sleep(1)