ASSERT(-3 / -2 == 1)
