c: assert