use stdint's uint32_t instead of u_int32_t.