export explicit carry-look-ahead adder