ASSERT.C
