Simplify mprintf3.ml.