[Reduction] #570-573: realcvt
[Reduction] #574-575: vprinter

And that would be the final function of the printf() family!