ASSERT(-3 / 2 == -1)
