clause
void *newData = realloc(fClauses, (fNumClauses + 1) * sizeof(clause));
fClauses = (clause *)newData;
clause *clause = &fClauses[index];
*start = clause->start;
*end = clause->end;
struct clause;
clause *fClauses;
void *newData = realloc(fClauses, (fNumClauses + 1) * sizeof(clause));
fClauses = (clause *)newData;
clause *clause = &fClauses[index];
*start = clause->start;
*end = clause->end;
struct clause;
clause *fClauses;