Update printf.cpp

defined UINT32_MAX, was throwing an error earlier.