Symbol: trace_allocate_snapshot