from machine import Pin

button = Pin(19, Pin.IN, Pin.PULL_UP)

led_red = Pin(16, Pin.OUT)
led_green = Pin(17, Pin.OUT)
led_blue = Pin(18, Pin.OUT)

led_red.on() 
led_green.on() 
led_blue.on() 
count = 0

def set_rgb_led(pin):
    global count
    count = count + 1
    print("Pi Pico W: " + str(count))
    if(count > 2):
       count = 0 
    if(count == 0):
        led_red.off()
        led_green.on() 
        led_blue.on()
    if(count == 1):
        led_red.on()
        led_green.off() 
        led_blue.on()
    if(count == 2):
        led_red.on()
        led_green.on() 
        led_blue.off()
button.irq(handler=set_rgb_led, trigger=Pin.IRQ_FALLING)
while (True) :
   pass