In many ways I'm most interested in the Windows bugs: Windows 8+ has a model-checked USB stack written in P (https://github.com/p-org/P https://github.com/p-org

In many ways I'm most interested in the Windows bugs: Windows 8+ has a model-checked USB stack written in P (https://github.com/p-org/P https://github.com/p-org/P). Or maybe that's just the USB 3.0 stack? Either way, would be interested in whether they're in the integration code or bugs in the P compiler.