Support SuiteB and PrimeEC primitives in translator.
Support SuiteB and PrimeEC primitives in translator.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script