import time
time.sleep(0.1) # Wait for USB to become ready

print("Hello, Pi Pico!")
from machine import Timer, Pin

timer_count = 0 # global variable
pin_led    = Pin(25, mode=Pin.OUT)

def interruption_handler(timer):
    global timer_count
    timer_count += 1
    pin_led.value(not pin_led.value())
    print( timer_count)

if __name__ == "__main__":
    soft_timer = Timer(mode=Timer.PERIODIC, period=1000, callback=interruption_handler)