Use printf() for output formatting