working folded adder + tb