With pre-soldered male pin headers.
>>> machine.unique_id()
b'\xe6ad\x08C8%$'
The Zephir LED blinker example does not work on the Raspberry Pi Pico W because the on-board LED is wired differently. But the hello world works and with:
screen /dev/ttyUSB0 115200
host shows:
*** Booting Zephyr OS build v4.2.0-491-g47b07e5a09ef ***
Hello World! rpi_pico/rp2040
Nice!