r8437: Win32 doesn't have u_int*_t