ASSERT(-3 % -2 == -1)
