Pin interrupts on Rpi pico with arduno-pico code

Hi
There is neither setup nor loop in this code... Please show your full sketch.