(39 . 7)(39 . 6)
      return WBool(Shift_Right((A and B) or ((A or B) and (not S)),
                               Bitness - 1));
   end W_Carry;
   pragma Inline_Always(W_Carry);
   
   
   -- Find the Borrow, from a subtraction where it is known that A - B == D:
(49 . 7)(48 . 6)
      return WBool(Shift_Right(((not A) and B) or (((not A) or B) and D),
                               Bitness - 1));
   end W_Borrow;
   pragma Inline_Always(W_Borrow);
   
   -- A+B+C is the output bit of 1-bit adder; C is carry-in;
   -- A-B-C is the output bit of 1-bit subber; C is borrow-in.
(86 . 6)(84 . 5)
   begin
      return B xor ((Sel - 1) and (A xor B));
   end W_Mux;
   pragma Inline_Always(W_Mux);
   
end Word_Ops;