omit using fprintf for stdout