[cypress66]

No you don't need to format the %d. The same way you collapsed the loop into the constant 5, you collapse that printf into puts("5\n")