Convert some uses of "printf" to "PrintString".

Converted some uses of "printf" to "PrintString" and made a few other
modifications.