ASSERT(3 % -2 == 1)
