carriage return (\r) in printf()

Hello,

I've just noticed that printf() does not support carriage return character
\r - can it be added?
Example:

? printf("123456\r000")      \\ does not work as expected
123456r000
? printf("123456%s000",Strchr(13))      \\ workaround with expected output
000456

Thanks,
Max