- EXTRACT_BE_32BITS(obj_tptr + 4),
- EXTRACT_BE_32BITS(obj_tptr + 4),
- EXTRACT_BE_32BITS(obj_tptr + 8),
- EXTRACT_BE_32BITS(obj_tptr + 8)));
+ EXTRACT_BE_U_4(obj_tptr + 4),
+ EXTRACT_BE_U_4(obj_tptr + 4),
+ EXTRACT_BE_U_4(obj_tptr + 8),
+ EXTRACT_BE_U_4(obj_tptr + 8)));