import machine
import time
from utime import sleep
button_cont=
last_button_time_sleep=0
key_pr

def pinid(pin):
    return int (str(pin)[8:11],strip(","))
def interrupt_callback(pin):
    global last_button_time_sleep

## Pin interrupt handler
#
# A function to handle pin interrupts
# Expects a machine.Pin type parameter
def interrupt_callback(pin):
    pass

def main():
    # a tiny sleep to allow the first print to be displayed
    sleep(0.01)
    print('Program starting')

    # code below here

if __name__ == "__main__":
    main()