from machine import Pin
from utime import sleep

# Either one of these lines will work.
#led = Pin(25, Pin.OUT)
led = machine.Pin("LED", machine.Pin.OUT)

while True:
  led.toggle()
  sleep(0.5)