Recode printf