Create stdint1.h