ASSERT((1++1)==2)
