[c] How can one print a size_t variable portably using the printf family?