シフト演算子はあるのですが、salt&0xffが型が違うと言われます。
cannnot convert NTL::ZZ to char in assignment