Switch u_int32_t to uint32_t