stdout leaner, with optional DebugPrint