Symbol: pointer_update_refs