s/- 1/-1/

As a suggestion for future improvement of the test, maybe add an `CHECK(bc & 1 == 0)` to check that the result is a multiple of two.