1Functional tests on halving-add SIMD vectorization.
2