omit using fprintf for stdout, #2