record__read_auxtrace_snapshot
record__read_auxtrace_snapshot(rec, false);
record__read_auxtrace_snapshot(rec, true);