No, you can make a static binary on Windows. And yes, we can use the Windows library loader. Even if the logic is opaque. Making a library without libc is annoying but doable (I think we would need to include a couple symbols for stack probes and such) but other than that the win32 API can do mostly everything libc provides and then some. So it would just come down to have the Zig stdlib call only win32 APIs and never, ever call into libc. Windows does have some weird problems and conventions that msvcrt does normally take care of but I think we can sidestep those? I.e., it handles WinMain/main distinctions and all that.