Symbol: ADDIS_R2_R12