Added stdint.h as lib