slightly optimized iostream