[PATCH resend] user16: Fix truncation for 16-bit handles.