Don't lock stream during print().

The application should be handling this as well if the stream is
shared between threads.