Symbol: auxtrace__dump_auxtrace_sample