Symbol: dbg_walk_index