Don't use u_int in the API, it's a non-standard type.  Closes #561.
Don't use u_int in the API, it's a non-standard type.