r72               537 src/dps8/dps8_utils.c     bool r72 = isnonzero_128 (and_128 (res, SIGN72));
r72               540 src/dps8/dps8_utils.c     bool r72 = res & SIGN72 ? true : false;
r72               558 src/dps8/dps8_utils.c     * ovf = r73 ^ r72;
r72               681 src/dps8/dps8_utils.c     bool r72 = isnonzero_128 (and_128 (res, SIGN72));
r72               684 src/dps8/dps8_utils.c     bool r72 = res & SIGN72 ? true : false;
r72               702 src/dps8/dps8_utils.c     * ovf = r73 ^ r72;