```int``` can also be platform dependent. I recommend using ```uint32_t``` defined in ```<inttypes.h>```.