limitations: list the available intrinsics in Crucible
limitations: list the available intrinsics in Crucible

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