ensure that inttypes.h exports PRIxXX