ASSERT(((1==0)==0)
