from hal import HAL
from time import sleep
from machine import Pin
import machine
HAL.set_output(23, 1)
HAL.read_input(22)
def read(pin):
    HAL.read_input(34)
button = Pin(13, Pin.IN, Pin.PULL_DOWN)
button.irq(trigger = Pin.IRQ_FALLING, handler = read)
HAL.toggle_led(25, 10)