import time
from machine import Pin 
 # Wait for USB to become ready

r = Pin(0, Pin.OUT)
g = Pin(1, Pin.OUT)

r.on()
g.off()

butt_g = Pin(28, Pin.IN, pull=Pin.PULL_UP)
butt_r = Pin(27, Pin.IN, pull=Pin.PULL_DOWN)

def butt_g_isr(butt_g):
    g.toggle()

def butt_r_isr(butt_r):
    r.toggle()

butt_g.irq(trigger=Pin.IRQ_FALLING, handler=butt_g_isr)
butt_r.irq(trigger=Pin.IRQ_RISING, handler=butt_r_isr)