Symbol: copy_core_reg_indices