more asserts in C code