you can't use int here, because on 64 bit platform int does not equal to uint32_t