r72               536 src/dps8/dps8_utils.c     bool r72 = isnonzero_128 (and_128 (res, SIGN72));
r72               539 src/dps8/dps8_utils.c     bool r72 = res & SIGN72 ? true : false;
r72               557 src/dps8/dps8_utils.c     * ovf = r73 ^ r72;
r72               702 src/dps8/dps8_utils.c     bool r72 = isnonzero_128 (and_128 (res, SIGN72));
r72               705 src/dps8/dps8_utils.c     bool r72 = res & SIGN72 ? true : false;
r72               723 src/dps8/dps8_utils.c     * ovf = r73 ^ r72;