simplified printf statement