This would allow [online pioasm](https://wokwi.com/tools/pioasm) use like Wokwi's (out-of-date) [pioasm-wasm](https://github.com/wokwi/pioasm-wasm) (from [forum](https://forums.raspberrypi.com/viewtopic.php?t=393099#p2344774); also earlephilhower/arduino-pico#193).