insert a printf line