import time
from machine import Pin
time.sleep(0.1) # Wait for USB to become ready

BTN_PIN = 16
LED_PIN = 13

button = Pin(BTN_PIN, Pin.IN, Pin.PULL_UP)
led = Pin(LED_PIN, Pin.OUT)

#===== code below ============

# button varaible is the green button
# led is the red led

while True:
    if button.value() == 0:
        led.value(1)
    else:
        led.value(0)