Create stdint.h