r72               644 src/dps8/dps8_utils.c     bool r72 = isnonzero_128 (and_128 (res, SIGN72));
r72               647 src/dps8/dps8_utils.c     bool r72 = res & SIGN72 ? true : false;
r72               665 src/dps8/dps8_utils.c     * ovf = r73 ^ r72;
r72               810 src/dps8/dps8_utils.c     bool r72 = isnonzero_128 (and_128 (res, SIGN72));
r72               813 src/dps8/dps8_utils.c     bool r72 = res & SIGN72 ? true : false;
r72               831 src/dps8/dps8_utils.c     * ovf = r73 ^ r72;