https://florian.github.io//xor-trick/ @source(spec/quickadd.spec)