Using stdint.h always