Use properly sized printf() specifiers.