Convert uint32/16/8 to 32_t/16_t/8_t in printing.h and all files that include it.