Adjusted types to use stdint.h