These were mostly cases where our previous macros had been casting, and the values that we were trying to printf were not in fact uint64_t.