Symbol: dbg_read