add a printf