Do mixed writes to stdout and calls to WriteConsole always print to the console in the same order?

Question

On Windows, I observe that if the output is redirected from the console to a file, then mixing calls to printf and Windows\' WriteFile will result in t