The header inttypes.h already includes stdint.h