add a printf string