Searching in tests/fig41-full-adder