Updated int type specification and usage to use stdint.h