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