Add header 'stdint.h'.