Symbol: dbg_noderef