Add stdint.h header