Symbol: mvsocts_val2uc_armada