auxtrace_record__free
auxtrace_record__free(rec->itr);
void auxtrace_record__free(struct auxtrace_record *itr);