Recode of the printf C function