coc-clangd で pico-sdk を読み込ませようとして、stdio.h が not found になってしまい苦戦していたけれど、clangd のオプションで query-driver を指定する必要があったのね。うまく行ったわ。