from machine import Pin
import utime

led = Pin(21, Pin.OUT)
led2 = Pin(20, Pin.OUT)
button = Pin(19, Pin.IN)

def int_handler(pin):
    button.irq(handler=None)
    led.value(1)
    led2.value(0)
    utime.sleep(4)
    led.value(0)
    button.irq(handler=int_handler)


button.irq(trigger=Pin.IRQ_RISING, handler=int_handler)


while True:

    led2.value(1)
    utime.sleep(2)
    led2.value(0)
    utime.sleep(2)