auxtrace_buffer__free
auxtrace_buffer__free(b);
auxtrace_buffer__free(buffer);
auxtrace_buffer__free(buffer);
void auxtrace_buffer__free(struct auxtrace_buffer *buffer);
auxtrace_buffer__free(buffer);