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               703 src/dps8/dps8_utils.c     bool r72 = isnonzero_128 (and_128 (res, SIGN72));
r72               706 src/dps8/dps8_utils.c     bool r72 = res & SIGN72 ? true : false;
r72               724 src/dps8/dps8_utils.c     * ovf = r73 ^ r72;