Neal D. Becker wrote: >3) It appears that std::cout buffering is broken. > I have not looked into the other issues, but for this one, have you tried calling a: std::ios::sync_with_stdio(false); before any other output operations? Ciao, Paolo.