Replace a printf() with a cout call.