Use printf for pretty printing.