add a printf output