Symbol: dbg_summary