Symbol: dbg_correlate