Why not the same otput? printf() implementation direcly used in the original does not guarantee order of calling the args!