Do not include <inttypes.h> or <stdint.h>.