[Baez]

That's because the compiler still thinks your cout statement is running. All output to cout and stdout is buffered. Try adding an <<endl to the end of the cout statement and see if it works.