add stdint.h