ASSERT(4 % 2 == 0)
ASSERT(4 % -2 == 0)
ASSERT(-4 % 2 == 0)
ASSERT(-4 % -2 == 0)
