check stdint.h header