Symbol: Dbg_seg_list