ASSERT(3 / -2 == -1)
