pico_simple_hardware_target(irq)