stdout is not for kibitzing.

--