Uncomment the reporting for UADD32 and USUB32 in fixed_debug.h.