"A recommended use of assertions is to follow the following pattern:" if (!c_assert(p >= 0) == true) { return ERROR; }

Why not: if (!c_assert(p >= 0)) { return ERROR; }