3 ms·There's no formal verification that the Windows OS syscalls are correct and there are no bugs either.by mlindner 6y agoThere's no formal verification that the Windows OS syscalls are correct and there are no bugs either.