+ flush stdout