Insert library stdint.h and fixes variable.