> There's no guarantee of ordering between stdout/stderr There absolutely is. If the two file descriptors refer to the same open file description or the same p

> There's no guarantee of ordering between stdout/stderr There absolutely is. If the two file descriptors refer to the same open file description or the same pipe/socket/character device, then the ordering of write syscalls is preserved--and that is the default for terminals.