Use C99 uint32_t rather than u_int32_t