ASSERT(-3 % 2 == -1)
