Description:
------------
The *printf family has a bug when pointing to the same argument with different types. Probably the same memoryaddress is used for casting when formatting the argument.

Reproduce code:
---------------
printf ( 
   'Int: %1$d and as string: %1$s', 
   'some string' 
);

// Note that the same happens when 
// using any of the other printf
// functions

Expected result:
----------------
Int: 0 and as string: some string

Actual result:
--------------
Int: 0 and as string: 0