sample code for Edge Interrupts in embedded systems interrupts lecture