delete printf helpers