Merge "More printf unification: FLUSH()."