Symbol: __update_ref_ctr