from machine import Pin
from time import sleep

button_red = Pin(9, Pin.IN, Pin.PULL_UP)
button_black = Pin(3, Pin.IN, Pin.PULL_UP)
led = Pin (1, Pin.OUT)

while True:
    if button_red.value() == 0:
        led.value(1)
        print ("Red")

    if button_black.value() == 0:
        led.value(0)
        print ("Black")
        sleep (0.25)