and              9310 src/dps8/dps8_eis.c     uint128 and = and_128 (n128, zeroBits);
and              9311 src/dps8/dps8_eis.c     return cast_s128 (and);