carriage return (\r) in printf()

[Max Alekseyev <maxale@gmail.com>]

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